Proofgold Proposition

type
prop

theory
HF

name
-

proof
PUKiR..

Megalodon
AC_2_imp_AC_1

proofgold address
TMTeS..^{AC_2_imp_AC_1}

creator
1627 PrGxv../2050f..

owner
1627 PrGxv../2050f..

term root
3854c..