Def CategoryTheory.OverClass.asOver

Modification history

2024-11-06 12:25

Mathlib/CategoryTheory/Comma/OverClass.lean

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

Added CategoryTheory.OverClass.asOver View on Github →