Theorem LinearMap.pow_mulLeft

Modification history