Proofgold Term Root Disambiguation

not (odd_nat 0)

as obj
-

as prop
36f64..^{not_odd_nat_0}

theory
HotG

stx
7fa67..

address
TMHpG..^{not_odd_nat_0}