Commit 2026-03-04 10:55 6a04da4b
View on Github →feat(RingTheory): add some easy lemmas (#35789) This PR adds three small helper lemmas needed for the ongoing formalization of the Cohen Structure Theorem.
feat(RingTheory): add some easy lemmas (#35789) This PR adds three small helper lemmas needed for the ongoing formalization of the Cohen Structure Theorem.