Theorem List.length_injective

Modification history