Proofgold Proposition

0 ∈ 5

type
prop

theory
HotG

name
In_0_5

proof
PUfQZ..

Megalodon
In_0_5

proofgold address
TMK6c..^In_0_5

creator
4898 Pr6Pc../1e20f..

owner
4898 Pr6Pc../1e20f..

term root
d496b..