Theorem List.takeI_length

Modification history