Theorem LinearRecurrence.is_sol_iff_mem_solSpace

Modification history