Theorem List.take_inits

Modification history