Lean Definitions And Terms