Zulip Chat Archive
Stream: general
Topic: error from last commit to data/polynomial
Sean Leather (Sep 04 2018 at 06:20):
@Mario Carneiro https://github.com/leanprover/mathlib/commit/2dd78b8d6ed23c434c4022fd3d402ea108a9b785#r30381098
Sean Leather (Sep 04 2018 at 06:22):
Sorry, 2 errors.
Last updated: May 02 2025 at 03:31 UTC