Def CategoryTheory.SymmetricCategory.ofFaithful

Modification history

2025-10-30 23:57

Mathlib/CategoryTheory/Monoidal/Braided/Basic.lean

chore(CategoryTheory): rename monoidal transport constructions (#31022) …

Added CategoryTheory.SymmetricCategory.ofFaithful View on Github →