Proofgold Proposition

3 ∈ 5

type
prop

theory
HotG

name
In_3_5

proof
PUfQZ..

Megalodon
In_3_5

proofgold address
TMEsH..^In_3_5

creator
4898 Pr6Pc../30ce0..

owner
4898 Pr6Pc../30ce0..

term root
eddd3..