Theorem Function.extend_mul

Modification history