Theorem Mathlib.Vector.eraseIdx_insertNth'

Modification history