Theorem CategoryTheory.GrothendieckTopology.coverPreserving_over_star

Modification history

2026-02-11 08:51
Mathlib/CategoryTheory/Sites/Over.lean
feat(AlgebraicGeometry): Presentation.isQuasicoherent (#34282) …
Added CategoryTheory.GrothendieckTopology.coverPreserving_over_starView on Github →