Proofgold Proposition

5 ∈ 7

type
prop

theory
HotG

name
In_5_7

proof
PUfQZ..

Megalodon
In_5_7

proofgold address
TMZb8..^In_5_7

creator
4898 Pr6Pc../5a7d4..

owner
4898 Pr6Pc../5a7d4..

term root
685d8..