Proofgold Proposition

4 ∈ 5

type
prop

theory
HotG

name
In_4_5

proof
PUfQZ..

Megalodon
In_4_5

proofgold address
TMbts..^In_4_5

creator
4898 Pr6Pc../6f633..

owner
4898 Pr6Pc../6f633..

term root
e72ad..