Theorem LinearMap.funLeft_comp

Modification history