Def Mathlib.Prelude.Rename.removeX

Modification history