Theorem Function.mulSupport_one

Modification history