Proofgold Object

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

type
(ι → ι → ο) → ο

theory
HotG

name
stricttotalorder

definition
PUKtJ..

Megalodon
stricttotalorder

proofgold address
TMJjL..^{stricttotalorder}

creator
4890 Pr6Pc../24fcc..

owner
4890 Pr6Pc../24fcc..

term root
42a3b..