Commit 2026-08-03 21:26 17d24e4d
View on Github →refactor(Algebra/Module/Equiv): update name and refactor API ofLinearEquiv (#40865)
Change the name of LinearEquiv.ofLinear to LinearEquiv.ofLinearMap and change the API. This replaces _apply by coe_, introduces _symm, which makes _symm_apply and _symm_toLinearMap redundant, and changes _toLinearMap to toLinearMap_.