Theorem Finset.inf_image₂_left

Modification history