Mathlib Changelog
v4
Changelog
About
Github
Theorem
isPrincipalIdealRing_pi_iff
Modification history
2025-09-02 15:20
Mathlib/RingTheory/PrincipalIdealDomain.lean
feat(Algebra): principal ideal finite product rings (#27900) …
Added
isPrincipalIdealRing_pi_iff
View on Github →