mathlib

63eb83f4 - change definition to allow for R