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