Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ ∀ x2 . x2 ∈ x0 ⟶ ∀ x3 . x3 ∈ x1 ⟶ SetAdjoin x2 (Sing 2) = SetAdjoin x3 (Sing 2) ⟶ x2 = x3

type
prop

theory
HotG

name
ctagged_eqE_eq

proof
PUgeJ..

Megalodon
ctagged_eqE_eq

proofgold address
TMFud..^{ctagged_eqE_eq}

creator
4958 Pr6Pc../1ca8b..

owner
4958 Pr6Pc../1ca8b..

term root
9635c..