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
HF

name
-

proof
PUQ8e..

Megalodon
PNoLt_SNoLt_PSNo

proofgold address
TMHv2..^{PNoLt_SNoLt_PSNo}

creator
2357 PrGxv../e7fc4..

owner
2357 PrGxv../e7fc4..

term root
45ef6..