Theorem Finset.inf'_image₂_left

Modification history