Proofgold Proposition

∀ x0 : ι → ι → ο . strictpartialorder x0 ⟶ partialorder (reflclos x0)

type
prop

theory
HotG

name
strictpartialorder_partialorder_reflclos

proof
PUKtJ..

Megalodon
strictpartialorder_partialorder_reflclos

proofgold address
TMMc6..^{strictpartialorder_partialorder_reflclos}

creator
4890 Pr6Pc../94400..

owner
4890 Pr6Pc../94400..

term root
aae20..