Inductive CategoryTheory.Coverage.Saturate

Modification history

2024-07-05 14:52
Mathlib/CategoryTheory/Sites/Coverage.lean
chore(CategoryTheory/Sites): saturate -> Saturate (#14449) …
Added CategoryTheory.Coverage.SaturateView on Github →