Theorem List.takeI_nil

Modification history