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
.
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
.