Theorem Finset.image_inv_eq_inv

Modification history