[ingframin]

è semplice :-)
La funzione è ricorsiva
in pratica quando la chiami che fa:
Supponiamo che siano a = 5 e b = 4
1) qui b vale 4
2)rest = mult(a,b-1)
2.1) qui b vale 3
2.2) rest = mult(a,b-1)
2.2.1) qui b vale 2
2.2.2) rest = mult(a,b-1)
2.2.2.1) qui b vale 1
2.2.2.2) rest = mult(a,b-1)
2.2.2.2.1) Qui b vale 0!
2.2.2.2.2) restituisce 0
2.2.2.3)rest = a+0 #rest = 5
2.2.3) rest = a+rest#rest = 10
2.3) rest = a+rest#rest = 15
3) rest = a+rest# rest = 20

ti è più chiaro così?