Proofgold Proposition

Inj0 0 = 0

type
prop

theory
HotG

name
Inj0_0

proof
PUMB7..

Megalodon
Inj0_0

proofgold address
TMbQh..^Inj0_0

creator
4898 Pr6Pc../acb62..

owner
4898 Pr6Pc../acb62..

term root
171f4..