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: Feb 28 2026 at 14:05 UTC