Theorem LinearRecurrence.eq_mk_of_is_sol_of_eq_init'

Modification history