Def category_theory.symmetric_category_of_faithful

Modification history

2022-04-29 04:24

src/category_theory/monoidal/braided.lean

feat(category_theory/braiding): pull back a braiding along a faithful functor (#13684) …

Added category_theory.symmetric_category_of_faithful View on Github →