Proofgold Proposition

type
prop

theory
HotG

name
not_odd_nat_0

proof
PUWsr..

Megalodon
not_odd_nat_0

proofgold address
TMVVH..^{not_odd_nat_0}

creator
23950 Pr5Zc../e1b41..

owner
23950 Pr5Zc../e1b41..

term root
557c8..