Theorem LinearMap.coe_single

Modification history