Theorem span_flip_eq_top_iff_linearIndependent

Modification history

2025-09-27 09:23
Mathlib/LinearAlgebra/Dual/Lemmas.lean
feat(FieldTheory/Galois): normal basis theorem (#27390) …
Added span_flip_eq_top_iff_linearIndependentView on Github →