Proofgold Proposition

4 ∈ 6

type
prop

theory
HotG

name
In_4_6

proof
PUfQZ..

Megalodon
In_4_6

proofgold address
TMLPc..^In_4_6

creator
4898 Pr6Pc../db365..

owner
4898 Pr6Pc../db365..

term root
1b41d..