Theorem List.length_eq_three

Modification history