Theorem Finset.comp_inf_eq_inf_comp

Modification history