Theorem Finset.image_val_of_injOn

Modification history