Structure Mathlib.Tactic.Polyrith.SageCoeffAndPower

Modification history

2025-09-25 14:17
Mathlib/Tactic/Polyrith.lean
chore: remove defunct polyrith tactic (#29547) …
Deleted Mathlib.Tactic.Polyrith.SageCoeffAndPowerView on Github →
2023-11-07 17:41
Mathlib/Tactic/Polyrith.lean
feat: improve `polyrith` by testing for membership in the radical (#7790) …
Added Mathlib.Tactic.Polyrith.SageCoeffAndPowerView on Github →