Proofgold Proposition

2 ∈ 9

type
prop

theory
HotG

name
In_2_9

proof
PUfQZ..

Megalodon
In_2_9

proofgold address
TMGa1..^In_2_9

creator
4898 Pr6Pc../8fa6b..

owner
4898 Pr6Pc../8fa6b..

term root
02444..