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: Dec 20 2025 at 21:32 UTC