Theorem List.head!_eq_head?

Modification history