Commit 2023-06-30 18:41 19879d98

View on Github →

chore: generalise universes in some theorems (#5626)

Estimated changes

Modified Mathlib/CategoryTheory/Sites/Grothendieck.lean

modified def CategoryTheory.GrothendieckTopology.Cover.index