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_affineMaptoAffineMap in names referencing this function.

Estimated changes