Proofgold Proposition

∀ x0 . SNo x0 ⟶ mul_SNo x0 1 = x0

type
prop

theory
HotG

name
mul_SNo_oneR

proof
PUU9n..

Megalodon
mul_SNo_oneR

proofgold address
TMKdX..^mul_SNo_oneR

creator
4981 Pr6Pc../0cd12..

owner
4981 Pr6Pc../0cd12..

term root
1d2f1..