Theorem CstarRing.star_mul_self_ne_zero_iff

Modification history