Theorem List.takeI_left'

Modification history