Proofgold Proposition

∀ x0 . SNoLt 0 x0 ⟶ abs_SNo x0 = x0

type
prop

theory
HotG

name
pos_abs_SNo

proof
PUfRQ..

Megalodon
pos_abs_SNo

proofgold address
TMWwx..^pos_abs_SNo

creator
6761 Pr6Pc../1798b..

owner
6761 Pr6Pc../1798b..

term root
32e62..