remove some deprecated stuff in rings/polynomials #41460
remove some deprecated stuff in rings/polynomials
fb0a8486
vbraun
merged
3d138b26
into develop 24 days ago
fchapoton
deleted the deprec_polynomials_2026 branch 24 days ago
Assignees
No one assigned
Labels
c: commutative algebra
Login to write a write a comment.
Login via GitHub