Theorem LinearMap.mul_apply'

Modification history