Theorem GradedRing.coe_projZeroRingHom'_apply

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.coe_projZeroRingHom'_applyView on Github →