Revision #1300 → #2591 · back to history
3d51618a6665| Field | From #1300 | To #2591 |
|---|---|---|
| mathlib.decl | CategoryTheory.projective_iff_preservesEpimorphisms_coyoneda_obj | CategoryTheory.Projective.projective_iff_preservesEpimorphisms_coyoneda_obj |
| provenance | ai | ai-moderated |