# Def continuous_linear_equiv.units_equiv

#### Modification history

2022-01-05 23:45

src/topology/algebra/module/basic.lean

chore(*): notation for `units` (#11236)

Modified continuous_linear_equiv.units_equivView on Github →Mathlib v3 is deprecated. Go to Mathlib v4

2022-01-05 23:45

src/topology/algebra/module/basic.lean

chore(*): notation for `units` (#11236)

Modified continuous_linear_equiv.units_equivView on Github →