Theorem SheafOfModules.GeneratingSections.ofEpi_π

Modification history

2026-02-12 12:31
Mathlib/Algebra/Category/ModuleCat/Sheaf/Generators.lean
feat(Algebra/Category): `IsQuasicoherent` from a cover (#35168)
Added SheafOfModules.GeneratingSections.ofEpi_πView on Github →