NF weak partition development: NAR4C078C001Part042.

theorem NFChoice.DirectNominalPrf.NominalAlphaWrappersRepaired.nb078_wpp_notmem_0515 (x : SemanticCore.Var) : x ∉ Compiler.CompactSourceSyntax.synCid.fv

theorem NFChoice.DirectNominalPrf.NominalAlphaWrappersRepaired.nb078_compact_envfresh_0035 (x y f : SemanticCore.Var) : Nominal.TEnvFresh [(nb078AlphaDummy007, nb078AlphaDummy008 f), (nb078AlphaDummy005, nb078AlphaDummy006 f), (nb078AlphaDummy000, f), (nb078AlphaDummy004, y), (nb078AlphaDummy003, x)] Compiler.CompactSourceSyntax.synCid.fv