MathedUp ✔ Diagnostic · Circle Theorems Exit
Pen
Undo brings it back.