Theorem LinearRecurrence.repr_basis_eq

Modification history

2026-04-16 22:32
Mathlib/Algebra/LinearRecurrence.lean
feat(Algebra/LinearRecurrence): define a standard basis for the solution space of a linear recurrence (#35285) …
Added LinearRecurrence.repr_basis_eqView on Github →