Theorem Submodule.span_val_image_eq_iff

Modification history

2026-03-20 18:13
Mathlib/LinearAlgebra/Span/Basic.lean
feat(RingTheory): some lemma about span rank (#35337) …
Added Submodule.span_val_image_eq_iffView on Github →