Theorem LinearMap.coe_toAffineMap

Modification history