Theorem CategoryTheory.reflectsIsomorphisms_of_comp

Modification history

2024-06-10 19:57
Mathlib/CategoryTheory/Functor/ReflectsIso.lean
feat: the category of sheaves of modules is abelian (#13455)
Added CategoryTheory.reflectsIsomorphisms_of_compView on Github →