Proofgold Proposition

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

type
prop

theory
HoTg

name
stricttotalorder_totalorder_reflclos

proof
PUhdM..

Megalodon
-

proofgold address
TMMqY..

creator
2717 PrGxv../ce92f..

owner
2717 PrGxv../ce92f..

term root
76031..