Theorem sup_sdiff_injOn

Modification history