mathlib3
7231172e - feat(topology/algebra): actions on the opposite type are continuous (#13671)

Commit

3 years ago

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

Author

eric-wieser

Parents