Proofgold Proposition

∀ x0 x1 : ο . iff x0 x1 ⟶ x0 = x1

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
prop_ext

proofgold address
-

creator

owner

term root
b721f..