Theorem LinearRecurrence.is_sol_mkSol

Modification history