Theorem Mathlib.Vector.eraseIdx_insertNth

Modification history