Theorem Finset.comp_sup'_eq_sup'_comp

Modification history