Proofgold Proposition

∀ x0 : ι → ι → ο . partialorder x0 ⟶ strictpartialorder (λ x1 x2 . and (x0 x1 x2) (x1 = x2 ⟶ ∀ x3 : ο . x3))

type
prop

theory
HoTg

name
partialorder_strictpartialorder

proof
PUhdM..

Megalodon
-

proofgold address
TMLwH..

creator
2717 PrGxv../63a9b..

owner
2717 PrGxv../63a9b..

term root
6d855..