Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-18 10:59 a6f62a74

View on Github →

feat(topology/algebra/mul_action.lean): add smul_const (#7242) add filter.tendsto.smul_const

Estimated changes