Proofgold Proposition

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

type
prop

theory
HotG

name
abs_SNo_dist_swap

proof
PUfRQ..

Megalodon
abs_SNo_dist_swap

proofgold address
TMaVn..^{abs_SNo_dist_swap}

creator
6761 Pr6Pc../2b698..

owner
6761 Pr6Pc../2b698..

term root
73d70..