Commit 2023-05-17 13:57 3d49f210

View on Github →

chore: some simpNF cleanaup after #3414 (#4033)

Estimated changes

Modified Mathlib/Data/Finset/Pointwise.lean

Modified Mathlib/LinearAlgebra/Isomorphisms.lean

deleted theorem LinearMap.asFun_coe

Modified Mathlib/RingTheory/Ideal/QuotientOperations.lean