Theorem Set.preimage_smul_inv

Modification history