Proofgold Proposition

∀ x0 : ι → ι → ο . per x0 ⟶ symmetric x0

type
prop

theory
HoTg

name
per_sym

proof
PUhdM..

Megalodon
-

proofgold address
TMMLZ..

creator
2717 PrGxv../be369..

owner
2717 PrGxv../be369..

term root
79f95..