Inductive CategoryTheory.Coverage.saturate

Modification history

2024-07-05 14:52
Mathlib/CategoryTheory/Sites/Coverage.lean
chore(CategoryTheory/Sites): saturate -> Saturate (#14449) …
Deleted CategoryTheory.Coverage.saturateView on Github →
2023-05-22 03:13
Mathlib/CategoryTheory/Sites/Coverage.lean
feat: Add CategoryTheory.Sites.Coverage (#4113) …
Added CategoryTheory.Coverage.saturateView on Github →