Def CategoryTheory.OverClass.asOverHom

Modification history

2024-11-25 16:18
Mathlib/CategoryTheory/Comma/OverClass.lean
feat(AlgebraicGeometry): covers of schemes over a base (#19096) …
Added CategoryTheory.OverClass.asOverHomView on Github →