Proofgold Proposition

2 ∈ 3

type
prop

theory
HotG

name
In_2_3

proof
PUfQZ..

Megalodon
In_2_3

proofgold address
TMFx1..^In_2_3

creator
4898 Pr6Pc../dac45..

owner
4898 Pr6Pc../dac45..

term root
4d67c..