Theorem uniqueMDiffOn_iff_uniqueDiffOn

Modification history