Theorem IsSelfAdjoint.star_eq

Modification history