Theorem AffineSubspace.comap_bot

Modification history

2025-03-03 00:15
Mathlib/LinearAlgebra/AffineSpace/AffineSubspace/Basic.lean
chore: split long file Mathlib.LinearAlgebra.AffineSpace.AffineSubspace (#22384)
Modified AffineSubspace.comap_botView on Github →
2023-06-29 05:08
Mathlib/LinearAlgebra/AffineSpace/AffineSubspace.lean
feat: add lemmas about `AffineSubspace`c (#5570)
Added AffineSubspace.comap_botView on Github →