Theorem Finset.image_inter_of_injOn

Modification history