Proofgold Proposition

∀ x0 : ι → ι → ο . stricttotalorder x0 ⟶ totalorder (reflclos x0)

type
prop

theory
HotG

name
stricttotalorder_totalorder_reflclos

proof
PUKtJ..

Megalodon
stricttotalorder_totalorder_reflclos

proofgold address
TMLi2..^{stricttotalorder_totalorder_reflclos}

creator
4890 Pr6Pc../71940..

owner
4890 Pr6Pc../71940..

term root
76031..