Lean formalisation of parts of Imperial College London's Introduction to University Mathematics course