Theorem List.last_cons

Modification history