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.