mathlib3
0dbcde21 - fix and add lemma about mono in sheaves

Commit

3 years ago

fix and add lemma about mono in sheaves

References

#15742 - feat(topology/sheaves/*): sheaves have enough injectives under some condition

Author

jjaassoonn

jjaassoonn

Parents

Loading