Proofgold Proposition

2 ∈ 4

type
prop

theory
HotG

name
In_2_4

proof
PUfQZ..

Megalodon
In_2_4

proofgold address
TMZ4r..^In_2_4

creator
4898 Pr6Pc../450ed..

owner
4898 Pr6Pc../450ed..

term root
33c2f..