Theorem Function.mulSupport_const

Modification history