NF weak partition development: NAR4C078C001Part135.

theorem NFChoice.DirectNominalPrf.NominalAlphaWrappersRepaired.nb078_compact_envfresh_0372 (x y h : SemanticCore.Var) : Nominal.TEnvFresh [(nb078AlphaDummy765, nb078AlphaDummy766 h), (nb078AlphaDummy763, nb078AlphaDummy764 h), (nb078AlphaDummy002, h), (nb078AlphaDummy004, y), (nb078AlphaDummy003, x)] Compiler.CompactSourceSyntax.synCid.fv