Theorem Finset.preimage_mul_left_singleton

Modification history