Theorem List.length_iterate

Modification history