Proofgold Proposition

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

type
prop

theory
HotG

name
per_sym

proof
PUKtJ..

Megalodon
per_sym

proofgold address
TMGvY..^per_sym

creator
4890 Pr6Pc../e2e55..

owner
4890 Pr6Pc../e2e55..

term root
79f95..