Mathlib v3 is deprecated. Go to Mathlib v4

Theorem affine_space.vector_span_range_eq_span_range_vsub_right

Modification history