Theorem Function.update_mul

Modification history