feat(RingTheory): add lemmas about reesAlgebra#41556

Thmoas-Guan wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

Thmoas-Guan:reesAlgebra-lemmasThmoas-Guan/mathlib4_fork:reesAlgebra-lemmasCopy head branch name to clipboard