Theorem selfAdjoint.star_val_eq

Modification history