Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_closed_map_smul_left

Modification history

2020-09-27 20:45

src/analysis/normed_space/finite_dimension.lean

feat(measure_theory): prove that more functions are measurable (#4266) …

Added is_closed_map_smul_left View on Github →