https://pubs.rsc.org/en/content/articlelanding/2024/dd/d3dd00077j Formalizing chemical physics using the Lean theorem prover Note "adiabatic"