Proofgold Proposition

type
prop

theory
HF

name
-

proof
PUJuQ..

Megalodon
combinator_equiv_sym

proofgold address
TMMcc..^{combinator_equiv_sym}

creator
2336 PrGxv../9827b..

owner
2336 PrGxv../9827b..

term root
59dc2..