Theorem LinearMap.continuous_of_finiteDimensional

Modification history