Theorem Finset.comp_sup_eq_sup_comp

Modification history