Theorem Function.mulSupport_sup

Modification history