Def Pi.spanSubset

Modification history

2026-07-24 07:15
Mathlib/LinearAlgebra/StdBasis.lean
chore: add missing `noncomputable` (#41446) …
Deleted Pi.spanSubsetView on Github →
2026-02-24 20:40
Mathlib/LinearAlgebra/StdBasis.lean
feat(LinearAlgebra/QuadraticForm): radical of a quadratic form (#34493) …
Added Pi.spanSubsetView on Github →