Def CategoryTheory.ExactPairing.ofFaithful

Modification history

2025-10-30 23:57
Mathlib/CategoryTheory/Monoidal/Rigid/OfEquivalence.lean
chore(CategoryTheory): rename monoidal transport constructions (#31022) …
Added CategoryTheory.ExactPairing.ofFaithfulView on Github →