Looking up the Lean declaration…
This page needs JavaScript. The Lean sources are at github.com/carlok/diaz-modulus-lean.