Theorem inf_sdiff_self_right

Modification history