Theorem List.length_join

Modification history