Theorem LinearMap.mul_eq_one_of_mul_eq_one

Modification history