Theorem Function.mulSupport_extend_one_subset

Modification history