Proofgold Proposition

∀ x0 x1 . ordinal x0 ⟶ ordinal x1 ⟶ SetAdjoin x1 (Sing 1) ∈ {SetAdjoin x2 (Sing 1)|x2 ∈ x0} ⟶ x1 ∈ x0

type
prop

theory
HotG

name
tagged_ReplE

proof
PUUwp..

Megalodon
tagged_ReplE

proofgold address
TMTYB..^tagged_ReplE

creator
4910 Pr6Pc../b5ae2..

owner
4910 Pr6Pc../b5ae2..

term root
a1d43..