Theorem CategoryTheory.MorphismProperty.Comma.toCommaMorphism_eq_hom

Modification history

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