Theorem List.inits_cons

Modification history