Theorem affineIndepOn_id_range_iff

Modification history

2026-09-15 19:08

Mathlib/LinearAlgebra/AffineSpace/Independent.lean

feat(AffineIndependent): add `AffineIndepOn` (#43459) …

Added affineIndepOn_id_range_iff View on Github →