Commit 2025-08-03 10:32 ba9a3d1e
View on Github →feat: upgrade lflip to a LinearEquiv (#27544)
This deletes some aux definitions without deprecation.
This is helpful for building the version of DFinsupp.lsum for bilinear maps.
A handful of existing users of lflip now need to add an explicit toLinearMap.