Proofgold Proposition

∀ x0 x1 . ordinal x0 ⟶ SNo_ x0 x1 ⟶ x1 = PSNo x0 (λ x3 . x3 ∈ x1)

type
prop

theory
HotG

name
SNo_PSNo_eta_

proof
PUUwp..

Megalodon
SNo_PSNo_eta_

proofgold address
TMdU6..^{SNo_PSNo_eta_}

creator
4910 Pr6Pc../51f13..

owner
4910 Pr6Pc../51f13..

term root
1642a..