Theorem Function.ext_iff_mulSupport

Modification history