Proofgold Proposition

∀ x0 : ι → ι → ο . totalorder_i x0 ⟶ ∀ x1 : ο . (partialorder_i x0 ⟶ linear_i x0 ⟶ x1) ⟶ x1

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
totalorder_i_E

proofgold address
TMGWK..^{totalorder_i_E}

creator
2279 PrGxv../b5b95..

owner
2279 PrGxv../b5b95..

term root
bb986..