Proofgold Proposition

5 ∈ 8

type
prop

theory
HotG

name
In_5_8

proof
PUfQZ..

Megalodon
In_5_8

proofgold address
TMZyK..^In_5_8

creator
4898 Pr6Pc../a19fb..

owner
4898 Pr6Pc../a19fb..

term root
d79eb..