Theorem isSelfAdjoint_starHom_apply

Modification history