Theorem Finset.inf'_comp_eq_map

Modification history