Theorem LinearMap.isSkewAdjoint_iff_neg_self_adjoint

Modification history