NF weak partition development: NAR4C078C001Part172.

theorem NFChoice.DirectNominalPrf.NominalAlphaWrappersRepaired.nb078_compact_envfresh_0509 (x y h : SemanticCore.Var) : Nominal.TEnvFresh [(nb078AlphaDummy1047, nb078AlphaDummy1048 h), (nb078AlphaDummy1045, nb078AlphaDummy1046 h), (nb078AlphaDummy002, h), (nb078AlphaDummy004, y), (nb078AlphaDummy003, x)] Compiler.CompactSourceSyntax.synCid.fv