feat: multiplicative automatic continuity on ℝ#40973

certik wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

certik:automatic-continuity-mul2certik/mathlib4:automatic-continuity-mul2Copy head branch name to clipboard