Def CategoryTheory.cartesianClosedOfReflective

Modification history

2023-06-27 08:51

Mathlib/CategoryTheory/Closed/Ideal.lean

feat: port CategoryTheory.Closed.Ideal (#4951)

Added CategoryTheory.cartesianClosedOfReflective View on Github →