Theorem sSup_inter_le

Modification history