Proofgold Proposition

4 ∈ 8

type
prop

theory
HotG

name
In_4_8

proof
PUfQZ..

Megalodon
In_4_8

proofgold address
TMapc..^In_4_8

creator
4898 Pr6Pc../006b6..

owner
4898 Pr6Pc../006b6..

term root
61791..