Keyword:group actions

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