?2) cosa "corrisponde" alla simplify? multivm/breakpoint
=> la mu (+ iota) normalize
*5) variabili libere => errore di tipaggio
?2) cosa "corrisponde" alla simplify? multivm/breakpoint
=> la mu (+ iota) normalize
*5) variabili libere => errore di tipaggio