Proofgold Proposition

∀ x0 : ι → ι → ο . (∀ x1 x2 . or (or (x0 x1 x2) (x1 = x2)) (x0 x2 x1)) ⟶ trichotomous_or_i x0

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
trichotomous_or_i_I

proofgold address
TMUo2..^{trichotomous_or_i_I}

creator
2279 PrGxv../383a8..

owner
2279 PrGxv../383a8..

term root
903e2..