Def LinearRecurrence.IsSolution

Modification history

2025-04-15 07:29

Mathlib/Algebra/LinearRecurrence.lean

chore(*): rename more type vars for *rings (#24022)

Modified LinearRecurrence.IsSolution View on Github →

2023-04-11 12:30

Mathlib/Algebra/LinearRecurrence.lean

feat: port Algebra.LinearRecurrence (#3380)

Added LinearRecurrence.IsSolution View on Github →