Theorem UV.sup_sdiff_mem_of_mem_compression

Modification history