"Scalar actions in Lean's mathlib."

Eric Wieser (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics