Proofgold Proposition

type
prop

theory
HotG

name
nat_4

proof
PUTEc..

Megalodon
nat_4

proofgold address
TMcTT..^nat_4

creator
4947 Pr6Pc../f6fd0..

owner
4947 Pr6Pc../f6fd0..

term root
2c8e1..