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.

Estimated changes