Def Mathlib.Vector.shiftRightFill

Modification history