Proofgold Proposition

∀ x0 . ∀ x1 : ι → ο . PNoEq_ x0 x1 (λ x2 . or (x1 x2) (x2 = x0))

type
prop

theory
HoTg

name
PNo_extend1_eq

proof
PUdWB..

Megalodon
-

proofgold address
TMH8y..

creator
2791 PrGxv../1de71..

owner
2791 PrGxv../1de71..

term root
8eb99..