Theorem List.length_eq_two

Modification history