Theorem IsSelfAdjoint.mul_star_self

Modification history