Theorem Finset.inf_image₂_right

Modification history