Proofgold Proposition

4 ∈ 7

type
prop

theory
HotG

name
In_4_7

proof
PUfQZ..

Megalodon
In_4_7

proofgold address
TMPy9..^In_4_7

creator
4898 Pr6Pc../61cd5..

owner
4898 Pr6Pc../61cd5..

term root
2d470..