Theorem LinearMap.baseChange_eq_ltensor

Modification history