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
-

proof
PUgeJ..

Megalodon
ctagged_eqE_Subq

proofgold address
TMbjS..^{ctagged_eqE_Subq}

creator
4958 Pr6Pc../839a7..

owner
4958 Pr6Pc../839a7..

term root
1b5aa..