Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebra.span_restrict_scalars_eq_span_of_surjective

Modification history