Theorem Function.disjoint_mulSupport_iff

Modification history