Theorem GradedRing.projZeroRingHom'_apply_coe

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'_apply_coe View on Github →