Theorem CategoryTheory.comp_over

Modification history

2024-11-06 12:25
Mathlib/CategoryTheory/Comma/OverClass.lean
feat(AlgebraicGeometry): typeclasses for `S`-schemes (#18321)
Added CategoryTheory.comp_overView on Github →