Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ι → ι → ο . strictpartialorder_i x0 ⟶ trichotomous_or_i x0 ⟶ stricttotalorder_i x0
type
prop
theory
HF
name
-
proof
PUXHR..
Megalodon
stricttotalorder_i_I
proofgold address
TMEyW..stricttotalorder_i_I
creator
2279 PrGxv../1a35d..
owner
2279 PrGxv../1a35d..
term root
e2818..