Theorem LinearMap.toMatrix₂'_comp

Modification history