Theorem skewAdjoint.smul_mem

Modification history