Def CategoryTheory.expUnitNatIso

Modification history

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