Proofgold Proposition

∀ x0 . SNo x0 ⟶ mul_SNo 1 x0 = x0

type
prop

theory
HotG

name
mul_SNo_oneL

proof
PUfRQ..

Megalodon
mul_SNo_oneL

proofgold address
TMV43..^mul_SNo_oneL

creator
6761 Pr6Pc../51848..

owner
6761 Pr6Pc../51848..

term root
6f8b1..