Theorem LinearMap.mul_eq_one_comm

Modification history