Zulip Chat Archive
Stream: general
Topic: Polynomial.map ZeroHom
Notification Bot (Aug 22 2023 at 12:06):
This topic was moved to #mathlib4 > Polynomial.map ZeroHom by Kyle Miller.
Last updated: Dec 20 2023 at 11:08 UTC
This topic was moved to #mathlib4 > Polynomial.map ZeroHom by Kyle Miller.
Last updated: Dec 20 2023 at 11:08 UTC