Theorem List.take_cons

Modification history