Theorem IsSelfAdjoint.add_star_self

Modification history