Theorem ContinuousAffineMap.coe_toAffineMap_mk

Modification history

2025-03-01 00:53
Mathlib/Topology/Algebra/ContinuousAffineMap.lean
chore: add `coe` attribute to `ContinuousAffineMap.toAffineMap` (#22410) …
Added ContinuousAffineMap.coe_toAffineMap_mkView on Github →