Theorem LinearMap.pow_mulRight

Modification history