Is there a way in Isabelle proof assistant (2020) to check the definition of a predefined function, such as div (or abbreviation and other definitions)?
div
