Theorem List.length_attach

Modification history