Theorem Mathlib.Vector.inductionOn_cons

Modification history