Proofgold Object

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

type
(ι → ι → ο) → ο

theory
HotG

name
totalorder

definition
PUKtJ..

Megalodon
totalorder

proofgold address
TMdPh..^totalorder

creator
4890 Pr6Pc../6912c..

owner
4890 Pr6Pc../6912c..

term root
0e5ab..