Theorem CategoryTheory.Equivalence.unit_naturality

Modification history

2025-04-09 15:42
Mathlib/CategoryTheory/Equivalence.lean
chore(CategoryTheory/Equivalence): simp lemmas for co/unit naturality (#23724) …
Added CategoryTheory.Equivalence.unit_naturalityView on Github →