Proofgold Proposition

∀ x0 . SNo x0 ⟶ x0 = PSNo (SNoLev x0) (λ x2 . x2 ∈ x0)

type
prop

theory
HotG

name
SNo_PSNo_eta

proof
PUUwp..

Megalodon
SNo_PSNo_eta

proofgold address
TMPZ6..^SNo_PSNo_eta

creator
4910 Pr6Pc../d9c7f..

owner
4910 Pr6Pc../d9c7f..

term root
6ffef..