Proofgold Proposition

3 ∈ 4

type
prop

theory
HotG

name
In_3_4

proof
PUfQZ..

Megalodon
In_3_4

proofgold address
TMY5n..^In_3_4

creator
4898 Pr6Pc../14a02..

owner
4898 Pr6Pc../14a02..

term root
f25e4..