Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-15 03:01 5a6c8934

View on Github →

feat(topology/algebra/module): 2 new ext lemmas (#6211) Add ext lemmas for maps f : M × M₂ →L[R] M₃ and f : R →L[R] M.

Estimated changes