Theorem List.Vector.head_ofFn

Modification history