Theorem skewAdjoint.star_val_eq

Modification history