Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-31 00:41 8ed5c3c7

View on Github →

chore(topology/algebra/group_with_zero): continuity attributes (#6965) Some @[continuity] tags, requested at https://github.com/leanprover-community/mathlib/pull/6937#discussion_r604139611

Estimated changes

modified theorem continuous.div
modified theorem continuous.div_const
modified theorem continuous.fpow
modified theorem continuous.inv'