# Commit 2020-01-04 15:28 585e107f

View on Github →feat(topology/algebra/module): continuous linear equiv (#1839)

- feat(topology/algebra/module): continuous linear equiv
- linting
- reviewer's comments

Mathlib v3 is deprecated. Go to Mathlib v4

feat(topology/algebra/module): continuous linear equiv (#1839)

- feat(topology/algebra/module): continuous linear equiv
- linting
- reviewer's comments