Theorem Set.inv_op_smul_set_distrib

Modification history