Theorem LinearMap.baseChange_add

Modification history