Theorem IsSelfAdjoint.smul

Modification history