prove/counterexample for sequences

Printable View