Theorem LinearMap.isAlt_iff_eq_neg_flip

Modification history