Proofgold Proposition

3 ∈ 6

type
prop

theory
HotG

name
In_3_6

proof
PUfQZ..

Megalodon
In_3_6

proofgold address
TMPdr..^In_3_6

creator
4898 Pr6Pc../de6c9..

owner
4898 Pr6Pc../de6c9..

term root
a261e..