Proofgold Proposition

Inj0 0 = 0

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
Inj0_0

proofgold address
TMM96..^Inj0_0

creator
1476 PrGxv../9f659..

owner
1476 PrGxv../9f659..

term root
25dcd..