Theorem selfAdjoint.val_nnqsmul

Modification history