Proofgold Proposition

1 ∈ 4

type
prop

theory
HotG

name
In_1_4

proof
PUfQZ..

Megalodon
In_1_4

proofgold address
TMb5w..^In_1_4

creator
4898 Pr6Pc../c738f..

owner
4898 Pr6Pc../c738f..

term root
5cabb..