Theorem LinearIndependent.restrict_scalars'

Modification history

2025-05-19 06:33
Mathlib/LinearAlgebra/LinearIndependent/Basic.lean
feat: miscellaneous lemmas about transcendence bases (#24344)
Modified LinearIndependent.restrict_scalars'View on Github →
2025-02-26 10:06
Mathlib/LinearAlgebra/LinearIndependent/Lemmas.lean
feat: more structural lemmas about root pairings (#22213) …
Added LinearIndependent.restrict_scalars'View on Github →