Proofgold Proposition

∀ x0 . ordinal x0 ⟶ ∀ x1 : ι → ο . PNoEq_ x0 (λ x2 . x2 ∈ PSNo x0 x1) x1

type
prop

theory
HotG

name
PNoEq_PSNo

proof
PUUwp..

Megalodon
PNoEq_PSNo

proofgold address
TMWKe..^PNoEq_PSNo

creator
4910 Pr6Pc../baeb1..

owner
4910 Pr6Pc../baeb1..

term root
c12e0..