homogeneous): refactor using weighted_homogeneous
#17856

Open

Commits

add weighted_homogeneous.lean

mariainesdff committed 3 years ago
move to ring_theory

mariainesdff committed 3 years ago
add le_weighted_total_degree lemma

mariainesdff committed 3 years ago
feat(ring_theory/mv_polynomial/weighted_homogeneous): add weighted homogeneous polynomials

mariainesdff committed 3 years ago
progress on homogeneous.lean

mariainesdff committed 3 years ago
partial proof

mariainesdff committed 3 years ago
finish homogeneous.lean

mariainesdff committed 3 years ago