Def Mathlib.Vector.revInductionOn₂

Modification history