Theorem List.get_length_sub_one

Modification history