Theorem LinearMap.baseChange_zero

Modification history