Theorem Finset.preimage_mul_right_one'

Modification history