Theorem LinearIndepOn_iff_linearIndepOn_image_injOn

Modification history

2025-03-11 09:45
Mathlib/LinearAlgebra/LinearIndependent/Basic.lean
feat(LinearIndependent): more API for linearIndepOn (#22368) …
Added LinearIndepOn_iff_linearIndepOn_image_injOnView on Github →