Proofgold Proposition

8 ∈ 9

type
prop

theory
HotG

name
In_8_9

proof
PUfQZ..

Megalodon
In_8_9

proofgold address
TMdur..^In_8_9

creator
4898 Pr6Pc../5468d..

owner
4898 Pr6Pc../5468d..

term root
aa9c6..