Theorem Stream'.nth_take_succ

Modification history