Proofgold Proposition

∀ x0 x1 . Subq x0 x1 ⟶ Subq x1 x0 ⟶ x0 = x1

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
set_ext

proofgold address
-

creator

owner

term root
a23ec..