Theorem LinearMap.coe_det

Modification history