Theorem LinearRecurrence.sol_eq_of_eq_init

Modification history