Proofgold Proposition

1 ∈ 8

type
prop

theory
HotG

name
In_1_8

proof
PUfQZ..

Megalodon
In_1_8

proofgold address
TMXL6..^In_1_8

creator
4898 Pr6Pc../2d1bc..

owner
4898 Pr6Pc../2d1bc..

term root
fbef0..