Mathlib v3 is deprecated. Go to Mathlib v4

Def ideal

Modification history

2021-06-10 01:51
src/ring_theory/ideal/basic.lean
feat(ring_theory/ideal): generalize to noncommutative rings (#7654) …
Modified idealView on Github →
2021-01-27 08:41
src/ring_theory/ideal/basic.lean
refactor(ring_theory/ideal ring_theory/jacobson): allow `ideal` in a `comm_semiring` (#5879) …
Modified idealView on Github →
2020-08-05 11:37
src/algebra/module/basic.lean
chore(ring_theory/ideals): Move the definition of ideals out of algebra/module (#3692) …
Modified idealView on Github →
2020-04-13 05:19
src/algebra/module.lean
chore(algebra/module): rename type vars, minor cleanup, add module docstring (#2392) …
Modified idealView on Github →
2018-11-05 10:47
algebra/module.lean
feat(linear_algebra,ring_theory): refactoring modules (#456) …
Added idealView on Github →