Proofgold Proposition

2 ∈ 7

type
prop

theory
HotG

name
In_2_7

proof
PUfQZ..

Megalodon
In_2_7

proofgold address
TMUSm..^In_2_7

creator
4898 Pr6Pc../1cbe0..

owner
4898 Pr6Pc../1cbe0..

term root
b26cf..