Def HomogeneousIdeal.map

Modification history

2026-03-05 10:25

Mathlib/RingTheory/GradedAlgebra/Homogeneous/Maps.lean

feat(RingTheory): define maps of homogeneous ideals (#30334) …

Added HomogeneousIdeal.map View on Github →