Theorem Set.inv_op_smul_set_distrib₀

Modification history