Commit 2025-07-14 15:57 6f9f6ef0

View on Github →

feat(LinearAlgebra/Finsupp/LinearCombination): add Submodule.mem_span_finset' (#27097) which is an variant of Submodule.mem_span_finset using s as the index type.

Estimated changes