Proofgold Proposition

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

type
prop

theory
HotG

name
PNo_extend1_eq

proof
PUQ2Y..

Megalodon
PNo_extend1_eq

proofgold address
TMGkM..^{PNo_extend1_eq}

creator
4903 Pr6Pc../f8c55..

owner
4903 Pr6Pc../f8c55..

term root
8eb99..