Theorem Set.vsub_self_mono

Modification history