Theorem affineIndepOn_pair

Modification history

2026-11-10 21:24

Mathlib/LinearAlgebra/AffineSpace/Independent.lean

chore(LinearAlgebra): remove unused hypothesis (#45690) …

Added affineIndepOn_pair View on Github →