Commit 2023-10-27 17:59 220023c1

View on Github →

fix: resolve some nolint simpNF commands (#7929)

Estimated changes

Modified Mathlib/Algebra/Algebra/Subalgebra/Basic.lean

modified def AlgEquiv.subalgebraMap

Modified Mathlib/Algebra/Category/GroupCat/Basic.lean

Modified Mathlib/Algebra/Category/ModuleCat/Monoidal/Closed.lean

Modified Mathlib/LinearAlgebra/Finrank.lean