Theorem affineIndepOn_iff_affineIndepOn_image_injOn

Modification history

2026-09-15 19:08
Mathlib/LinearAlgebra/AffineSpace/Independent.lean
feat(AffineIndependent): add `AffineIndepOn` (#43459) …
Added affineIndepOn_iff_affineIndepOn_image_injOnView on Github →