Theorem List.head!_cons

Modification history