Theorem Function.mulSupport_mul_inv

Modification history