Theorem Fin.range_succ

Modification history