Def CategoryTheory.expUnitIsoSelf

Modification history

2024-11-14 20:44
Mathlib/CategoryTheory/Closed/Cartesian.lean
refactor: change `CartesianClosed` to rely on `ChosenFiniteProducts` (#17766) …
Added CategoryTheory.expUnitIsoSelfView on Github →