NF weak partition development: NAR4C078C001Part089.

theorem NFChoice.DirectNominalPrf.NominalAlphaWrappersRepaired.nb078_compact_fv_empty_0454 : nb078AlphaDummy567 ∉ ∅

theorem NFChoice.DirectNominalPrf.NominalAlphaWrappersRepaired.nb078_compact_fv_empty_0455 (g : SemanticCore.Var) : nb078AlphaDummy568 g ∉ ∅

theorem NFChoice.DirectNominalPrf.NominalAlphaWrappersRepaired.nb078_compact_fv_empty_0456 : nb078AlphaDummy565 ∉ ∅

theorem NFChoice.DirectNominalPrf.NominalAlphaWrappersRepaired.nb078_compact_fv_empty_0457 (g : SemanticCore.Var) : nb078AlphaDummy566 g ∉ ∅