Commit 2026-05-23 13:32 36c492b2

View on Github →

fix(RingTheory): correct misnamed theorem (#39741) Update isFinitelyPresented to finitePresentation to match the typeclass Module.FinitePresentation.

Estimated changes