Proofgold Proposition

type
prop

theory
HF

name
-

proof
PUJuQ..

Megalodon
combinator_equiv_tra

proofgold address
TMM3Q..^{combinator_equiv_tra}

creator
2336 PrGxv../e60bc..

owner
2336 PrGxv../e60bc..

term root
18f2d..