Theorem List.Vector.head_mem

Modification history