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
.