Proofgold Proposition

∀ x0 x1 . ∀ x2 x3 : ι → ο . ordinal x0 ⟶ ordinal x1 ⟶ PNoLt x0 x2 x1 x3 ⟶ SNoLt (PSNo x0 x2) (PSNo x1 x3)

type
prop

theory
HotG

name
PNoLt_SNoLt_PSNo

proof
PUUwp..

Megalodon
PNoLt_SNoLt_PSNo

proofgold address
TMSzf..^{PNoLt_SNoLt_PSNo}

creator
4910 Pr6Pc../e2c04..

owner
4910 Pr6Pc../e2c04..

term root
11b6e..