NF weak partition development: NAR4C068C001Part015.

theorem NFChoice.DirectNominalPrf.NominalAlphaWrappersRepaired.nb068_compact_fv_empty_0058 : nb068AlphaDummy043 ∉ ∅

theorem NFChoice.DirectNominalPrf.NominalAlphaWrappersRepaired.nb068_compact_fv_empty_0059 (f : SemanticCore.Var) : nb068AlphaDummy044 f ∉ ∅

theorem NFChoice.DirectNominalPrf.NominalAlphaWrappersRepaired.nb068_compact_fv_empty_0060 : nb068AlphaDummy041 ∉ ∅

theorem NFChoice.DirectNominalPrf.NominalAlphaWrappersRepaired.nb068_compact_fv_empty_0061 (f : SemanticCore.Var) : nb068AlphaDummy042 f ∉ ∅

theorem NFChoice.DirectNominalPrf.NominalAlphaWrappersRepaired.nb068_compact_fv_empty_0062 : nb068AlphaDummy000 ∉ ∅

theorem NFChoice.DirectNominalPrf.NominalAlphaWrappersRepaired.nb068_compact_fv_empty_0063 (f : SemanticCore.Var) : f ∉ ∅