Proofgold Proposition

2 ∈ 5

type
prop

theory
HotG

name
In_2_5

proof
PUfQZ..

Megalodon
In_2_5

proofgold address
TMKyP..^In_2_5

creator
4898 Pr6Pc../87eb0..

owner
4898 Pr6Pc../87eb0..

term root
ec68b..