An introduction to p-adic L-functions — Lean blueprint