Proofgold Proposition

type
prop

theory
HF

name
-

proof
PUJuQ..

Megalodon
combinator_equiv_ref

proofgold address
TMK6N..^{combinator_equiv_ref}

creator
2336 PrGxv../8788e..

owner
2336 PrGxv../8788e..

term root
3f3ea..