Theorem List.takeD_length

Modification history