Theorem skewAdjoint.conjugate'

Modification history