Proofgold Proposition

∀ x0 . ordinal x0 ⟶ SNo (minus_SNo x0)

type
prop

theory
HotG

name
mordinal_SNo

proof
PUK1b..

Megalodon
mordinal_SNo

proofgold address
TMdpA..^mordinal_SNo

creator
4949 Pr6Pc../be47b..

owner
4949 Pr6Pc../be47b..

term root
67157..