Theorem Finset.max'_image

Modification history