Proving Math Theorems in Lean

https://github.com/l1mey112/methlib4

• Probably some group theory stuff. ✅ 2026-01-23

Aftermath

Proven! This took me a very long time but the result is stronger than what they have in Mathlib, they don’t depend on [Finite G].