Theorem isSelfAdjoint_add_star_self

Modification history