Proofgold Object

λ x0 : ι → ι → ο . and (partialorder x0) (linear x0)

type
(ι → ι → ο) → ο

theory
HoTg

name
totalorder

definition
PUhdM..

Megalodon
-

proofgold address
TMMid..

creator
2717 PrGxv../3e07f..

owner
2717 PrGxv../3e07f..

term root
0e5ab..