Theorem Finset.sup'_id_eq_cSup

Modification history