Theorem sdiff_sdiff_right_self

Modification history