Def CategoryTheory.OverClass.Simps.over

Modification history

2024-11-06 12:25

Mathlib/CategoryTheory/Comma/OverClass.lean

feat(AlgebraicGeometry): typeclasses for `S`-schemes (#18321)

Added CategoryTheory.OverClass.Simps.over View on Github →