Proofgold Proposition

mul_nat 2 2 = 4

type
prop

theory
HF

name
-

proof
PUaSf..

Megalodon
-

proofgold address
TMUoV..

creator
22364 PrBPC../3d982..

owner
22364 PrBPC../3d982..

term root
fc293..