Commit 2024-02-03 06:55 1a8eb3bd
View on Github →- add
rename_isHomogeneous
withoutInjective
assumption, and renamerename_isHomogeneous
torename_isHomogeneous_iff
. - refactor
degreeOf_le_totalDegree
throughrestrictTotalDegree_le_restrictDegree
rename_isHomogeneous
without Injective
assumption, and rename rename_isHomogeneous
to rename_isHomogeneous_iff
.degreeOf_le_totalDegree
through restrictTotalDegree_le_restrictDegree