Structure CategoryTheory.Coverage

Modification history

2025-08-31 17:16

Mathlib/CategoryTheory/Sites/Coverage.lean

refactor(CategoryTheory/Sites): make `Coverage` and `Pretopology` extend `Precoverage` (#29065) …

Modified CategoryTheory.Coverage View on Github →

2023-05-22 03:13

Mathlib/CategoryTheory/Sites/Coverage.lean

feat: Add CategoryTheory.Sites.Coverage (#4113) …

Added CategoryTheory.Coverage View on Github →