Theorem Set.mem_smul_set_inv

Modification history