Theorem Function.mulSupport_extend_one

Modification history