Stream: General

Topic: ✔ Missing lemma in `List`

view this post on Zulip Javier Diaz (Oct 05 2022 at 14:34):

@Lukas Stevens : Ah, I just saw the commit by @Tobias Nipkow . Thanks a lot for pointing that out.

view this post on Zulip Notification Bot (Oct 05 2022 at 14:35):

Javier Diaz has marked this topic as resolved.

Last updated: Feb 06 2026 at 20:37 UTC