Proofgold Proposition

∀ x0 x1 x2 . x2 ∈ x0 ⟶ ∀ x3 . x3 ∈ x0 ⟶ (x2 = x3 ⟶ ∀ x4 : ο . x4) ⟶ equip x0 (ordsucc (ordsucc x1)) ⟶ equip (setminus x0 (UPair x2 x3)) x1

type
prop

theory
HotG

name
-

proof
PUbqv..

Megalodon
-

proofgold address
TMZ3r..

creator
22292 Pr4zB../c151a..

owner
22292 Pr4zB../c151a..

term root
7ee94..