Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-25 11:19 7231172e

View on Github →

feat(topology/algebra): actions on the opposite type are continuous (#13671) This also adds the missing t2_space instance.

Estimated changes