NF weak partition development: NAR4C078C001Part070.

theorem NFChoice.DirectNominalPrf.NominalAlphaWrappersRepaired.nb078_compact_envfresh_0136 (x y g : SemanticCore.Var) : Nominal.TEnvFresh [(nb078AlphaDummy285, nb078AlphaDummy286 g), (nb078AlphaDummy283, nb078AlphaDummy284 g), (nb078AlphaDummy001, g), (nb078AlphaDummy004, y), (nb078AlphaDummy003, x)] Compiler.CompactSourceSyntax.synCid.fv