Theorem AffineMap.image_uIcc

Modification history

2025-04-04 17:16
Mathlib/LinearAlgebra/AffineSpace/AffineMap.lean
chore: use mixin ordered algebraic typeclasses (part 1) (#20594)
Modified AffineMap.image_uIccView on Github →
2023-08-10 19:52
Mathlib/LinearAlgebra/AffineSpace/AffineMap.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified AffineMap.image_uIccView on Github →
2023-03-07 21:44
Mathlib/LinearAlgebra/AffineSpace/AffineMap.lean
feat: port LinearAlgebra.AffineSpace.AffineMap (#2570)
Added AffineMap.image_uIccView on Github →