Theorem GradedRing.projZeroRingHom'_surjective

Modification history

2024-06-27 11:16

Mathlib/RingTheory/GradedAlgebra/Basic.lean

feat(RingTheory/GradedAlgebra/Noetherian): properties of a graded Noetherian ring (#8187)

Added GradedRing.projZeroRingHom'_surjective View on Github →