how do I check in a databricks notebook which version of the delta lake I'm using? It seems a trivial request but I cannot find a way to do it in the docs..

These types of things are typically best asked of your Databricks support people. It's dependent on your DBR version that the cluster running the notebook is