Theorem isSelfAdjoint_star_add_self

Modification history