Def Mathlib.Vector.inductionOn₃

Modification history