Proofgold Object

λ x0 : ι → ι → ο . and (strictpartialorder x0) (trichotomous_or x0)

type
(ι → ι → ο) → ο

theory
HoTg

name
stricttotalorder

definition
PUhdM..

Megalodon
-

proofgold address
TMVEn..

creator
2717 PrGxv../907d6..

owner
2717 PrGxv../907d6..

term root
42a3b..