Stream: math-comp users

Topic: ✔ Canonical instance for finType of seq_sub

view this post on Zulip Sebastian Ertel (Feb 26 2024 at 08:20):

Ah yes, thanks a lot for that hint!

view this post on Zulip Notification Bot (Feb 26 2024 at 08:20):

Sebastian Ertel has marked this topic as resolved.

Last updated: Jul 15 2024 at 20:02 UTC