Commit 2025-03-01 00:53 9bf65b21
View on Github →chore: add coe attribute to ContinuousAffineMap.toAffineMap (#22410)
There is already an instance, it's just that the attribute was missing. Resolves a few porting notes because now the lemmas can be marked norm_cast.
Also fixes some minor issues regarding naming. to_affineMap → toAffineMap in names referencing this function.