Theorem ContinuousAffineMap.coe_affineMap_mk
Modification history
2025-03-01 00:53
Mathlib/Topology/Algebra/ContinuousAffineMap.lean
chore: add `coe` attribute to `ContinuousAffineMap.toAffineMap` (#22410) …
Deleted ContinuousAffineMap.coe_affineMap_mkView on Github →