Proofgold Proposition

5 ∈ 6

type
prop

theory
HotG

name
In_5_6

proof
PUfQZ..

Megalodon
In_5_6

proofgold address
TMW8G..^In_5_6

creator
4898 Pr6Pc../e4587..

owner
4898 Pr6Pc../e4587..

term root
2b492..