Theorem Finset.sup_map

Modification history