Proofgold Proposition

∀ x0 . SNo x0 ⟶ abs_SNo (minus_SNo x0) = abs_SNo x0

type
prop

theory
HotG

name
abs_SNo_minus

proof
PUfRQ..

Megalodon
abs_SNo_minus

proofgold address
TMVyu..^{abs_SNo_minus}

creator
6761 Pr6Pc../ba4e0..

owner
6761 Pr6Pc../ba4e0..

term root
97710..