Keyword:group actions

Publications
Scalar Actions in Lean's Mathlib Eric Wieser EasyChair Preprint 6176