Theorem SheafOfModules.add_val

Modification history

2024-06-10 19:57
Mathlib/Algebra/Category/ModuleCat/Sheaf.lean
feat: the category of sheaves of modules is abelian (#13455)
Added SheafOfModules.add_valView on Github →