Theorem Mathlib.Vector.inductionOn_nil

Modification history