Theorem Set.inv_smul_set_distrib₀

Modification history