Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . Repl x0 x1 = famunion x0 (λ x3 . Sing (x1 x3))

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
ReplEq_famunion_Sing

proofgold address
TMLFi..^{ReplEq_famunion_Sing}

creator
1339 PrGxv../591e7..

owner
1339 PrGxv../591e7..

term root
6864d..