EDB — 28V

[28V](Svolto il 2022-11-03) Si fissa il parametro \(m\), e si definisce ricorsivamente \((m× ⋅)\) tramite

• \( m× 0=0\)

• \(∀ n∈ ℕ, m× (n+1)=m× n + m\);