Proofgold Object

λ x0 : ι → ι → ο . and (and (reflexive x0) (antisymmetric x0)) (transitive x0)

type
(ι → ι → ο) → ο

theory
HotG

name
partialorder

definition
PUKtJ..

Megalodon
partialorder

proofgold address
TMbQ7..^partialorder

creator
4890 Pr6Pc../48701..

owner
4890 Pr6Pc../48701..

term root
406b8..