Commit 2024-10-29 21:42 d77087c5
View on Github →refactor(Algebra/Polynomial/Smeval): sort out module structures (#18410) See discussion on Zulip here : https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/Module.20structure.20diamond.3F