Mathlib v3 is deprecated. Go to Mathlib v4

Def ideal.homogeneous_core'

Modification history

2022-06-29 22:22
src/ring_theory/graded_algebra/homogeneous_ideal.lean
refactor(ring_theory/graded_algebra): use `add_submonoid_class` to generalize to graded rings (#14583) …
Modified ideal.homogeneous_core'View on Github →
2022-02-23 14:40
src/ring_theory/graded_algebra/homogeneous_ideal.lean
feat(ring_theory/graded_algebra): definitions and basic operations of homogeneous ideal (#10784) …
Added ideal.homogeneous_core'View on Github →