Zulip Chat Archive

Stream: lean4

Topic: define polynomial

Notification Bot (Apr 28 2024 at 15:33):

This topic was moved to #Is there code for X? > Legendre polynomials by Yury G. Kudryashov.

Last updated: May 02 2025 at 03:31 UTC