Proofgold Proposition

type
prop

theory
HF

name
-

proof
PUKiR..

Megalodon
AC_3_imp_AC_2

proofgold address
TMPYF..^{AC_3_imp_AC_2}

creator
1627 PrGxv../f2318..

owner
1627 PrGxv../f2318..

term root
b4430..