Theorem Finset.preimage_mul_right_one

Modification history