Rotate around Line Tool

© 2024 International GeoGebra Institute