Theorem List.get_cons

Modification history