Theorem LinearMap.coe_proj

Modification history