[aur-general] Remove Request : r-mathlib