Proofgold Proposition

type
prop

theory
HF

name
-

proof
PUSS3..

Megalodon
Z2_table_binop_on_2

proofgold address
TMSKt..^{Z2_table_binop_on_2}

creator
2311 PrGxv../597ee..

owner
2311 PrGxv../597ee..

term root
2657f..