Theorem Finsupp.support_sym2Mul_subset

Modification history

2025-04-06 22:22

Mathlib/Data/Sym/Sym2/Finsupp.lean

feat(LinearAlgebra/QuadraticForm/Basis): basis expansion of a quadratic map (#18578) …

Added Finsupp.support_sym2Mul_subset View on Github →