Theorem LinearMap.baseChange_smul

Modification history