Theorem LinearMap.baseChange_tmul

Modification history