Theorem List.Vector.insertIdx_val

Modification history