Theorem adjoin_monomial_eq_reesAlgebra

Modification history

2023-04-04 12:51
Mathlib/RingTheory/ReesAlgebra.lean
feat: port RingTheory.ReesAlgebra (#3252)
Added adjoin_monomial_eq_reesAlgebraView on Github →