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: May 02 2025 at 03:31 UTC