Proofgold Proposition

3 ∈ 8

type
prop

theory
HotG

name
In_3_8

proof
PUfQZ..

Megalodon
In_3_8

proofgold address
TMN2S..^In_3_8

creator
4898 Pr6Pc../efd96..

owner
4898 Pr6Pc../efd96..

term root
7ecda..