Theorem Function.mulSupport_eq_preimage

Modification history