Theorem reesAlgebra.fg

Modification history

2023-05-16 06:36
Mathlib/RingTheory/ReesAlgebra.lean
refactor: rename `Fg` to `FG` (#3948) …
Modified reesAlgebra.fgView on Github →
2023-04-04 12:51
Mathlib/RingTheory/ReesAlgebra.lean
feat: port RingTheory.ReesAlgebra (#3252)
Added reesAlgebra.fgView on Github →