Theorem selfAdjoint.val_rat_smul

Modification history