Theorem LinearMap.continuous_of_nonzero_on_open

Modification history