Theorem CategoryTheory.Precoverage.toCoverage_le_toCoverage

Modification history

2026-04-04 23:52
Mathlib/CategoryTheory/Sites/Coverage.lean
chore: bump toolchain to v4.30.0-rc1 (#37564)
Added CategoryTheory.Precoverage.toCoverage_le_toCoverageView on Github →