Theorem List.Vector.scanl_head

Modification history