Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-16 16:11 8a286af6

View on Github →

chore(topology/algebra/mul_action): rename type variables (#12020)

Estimated changes

modified theorem filter.tendsto.smul
modified theorem filter.tendsto.smul_const
modified theorem has_continuous_smul_Inf
modified theorem has_continuous_smul_inf
modified theorem has_continuous_smul_infi