Proofgold Proposition

∀ x0 : ι → ι → ο . symmetric_i x0 ⟶ ∀ x1 x2 . x0 x1 x2 ⟶ x0 x2 x1

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
symmetric_i_E

proofgold address
TMPbd..^{symmetric_i_E}

creator
2279 PrGxv../7e0cc..

owner
2279 PrGxv../7e0cc..

term root
674ed..