Commit 2022-07-21 13:52 976f5106
View on Github →feat(ring_theory/graded_algebra/basic): add lemma proj_homogeneous_mul (#15264)
added a lemma stating that $(ab)_{i+j}=ab_j$ for homogeneous $a$ with degree $I$
feat(ring_theory/graded_algebra/basic): add lemma proj_homogeneous_mul (#15264)
added a lemma stating that $(ab)_{i+j}=ab_j$ for homogeneous $a$ with degree $I$