Keyword:typeclass diamonds

Papers
Scalar Actions in Lean's Mathlib Eric Wieser EasyChair Preprint no. 6176