Theorem Matrix.injective_pair_iff_ne

Modification history

2026-09-15 19:08
Mathlib/Data/Fin/VecNotation.lean
feat(AffineIndependent): add `AffineIndepOn` (#43459) …
Added Matrix.injective_pair_iff_neView on Github →