Commit 2025-02-12 11:53 58fa94d3
View on Github →refactor(lpSpace): reorder type arguments (#21779)
When talking about a 𝕜-module E, the (unwritten) convention is to order the arguments as 𝕜 E not E 𝕜.
One proof using @ breaks, but this proof didn't need @ in the first place.