Science ❯ Mathematics ❯ Algebra ❯ Abstract Algebra
Reviewed by leading mathematicians with a reported Lean formalization, the finding raises urgent questions about transparency and peer review.
