Theorem LinearMap.baseChange_sub

Modification history