Theorem List.forall_cons

Modification history