Theorem gc_sdiff_sup

Modification history