?2) cosa "corrisponde" alla simplify? multivm/breakpoint
=> la mu (+ iota) normalize
3) nelim bacata (assert ...), ma napply funziona
?2) cosa "corrisponde" alla simplify? multivm/breakpoint
=> la mu (+ iota) normalize
3) nelim bacata (assert ...), ma napply funziona