Def CategoryTheory.expComparison

Modification history

2023-06-15 07:21

Mathlib/CategoryTheory/Closed/Functor.lean

feat: port CategoryTheory.Closed.Functor (#4922)

Added CategoryTheory.expComparison View on Github →