Commit 2025-07-14 21:16 0bf25725

View on Github →

chore(Algebra): replace CoeFun.coe with DFunLike.coe (#27146)

Estimated changes

modified theorem LinearEquiv.coe_injective