LEAN3のTactics
https://www.ma.imperial.ac.uk/~buzzard/xena/formalising-mathematics-2022/Part_C/tactics/ring.html
#LEAN_3
多すぎるだろ