Proofgold Proposition

2 ∈ 8

type
prop

theory
HotG

name
In_2_8

proof
PUfQZ..

Megalodon
In_2_8

proofgold address
TMbkn..^In_2_8

creator
4898 Pr6Pc../e17d7..

owner
4898 Pr6Pc../e17d7..

term root
a07c8..