Commit 2025-07-12 16:39 acbc9c0f

View on Github →

chore: rename braidedCategoryOfFaithful to BraidedCategory.ofFaithful (#27026) ... and make its last argument an aesop_cat auto-param. From Toric

Estimated changes

Modified Mathlib/Algebra/Category/AlgCat/Symmetric.lean

Modified Mathlib/CategoryTheory/Action/Monoidal.lean

Modified Mathlib/CategoryTheory/Monoidal/Braided/Basic.lean

added def CategoryTheory.BraidedCategory.ofFaithful

deleted def CategoryTheory.braidedCategoryOfFaithful

Modified Mathlib/CategoryTheory/Monoidal/Skeleton.lean

Modified Mathlib/CategoryTheory/Monoidal/Subcategory.lean

Modified Mathlib/LinearAlgebra/QuadraticForm/QuadraticModuleCat/Symmetric.lean