Proofgold Proposition

∀ x0 : ι → ι → ο . antisymmetric_i x0 ⟶ ∀ x1 x2 . x0 x1 x2 ⟶ x0 x2 x1 ⟶ x1 = x2

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
antisymmetric_i_E

proofgold address
TMYeW..^{antisymmetric_i_E}

creator
2279 PrGxv../9f07b..

owner
2279 PrGxv../9f07b..

term root
26868..