Def CategoryTheory.Grothendieck.pre

Modification history

2024-10-26 14:30

Mathlib/CategoryTheory/Grothendieck.lean

feat(CategoryTheory/Grothendieck): `Grothendieck.pre` for Grothendieck construction base change (#18044) …

Added CategoryTheory.Grothendieck.pre View on Github →