Theorem LinearMap.toMatrix'_toLinearMapₛₗ₂'

Modification history