Theorem List.Vector.scanl_get

Modification history