Theorem Finset.sup'_map

Modification history