Proofgold Proposition

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

type
prop

theory
HotG

name
prop_ext

proof
PUQdE..

Megalodon
prop_ext

proofgold address
TMK6Y..^prop_ext

creator
4867 Pr6Pc../61d1d..

owner
4867 Pr6Pc../61d1d..

term root
00ac8..