Stream: math-comp users

Topic: ✔ Dependent types: total functions from #|[set w | P w]|=1


view this post on Zulip Notification Bot (Aug 06 2022 at 11:05):

Alex Loiko has marked this topic as resolved.

view this post on Zulip Alex Loiko (Aug 06 2022 at 11:06):

Thank you for the help, @Paolo Giarrusso


Last updated: Jan 29 2023 at 19:02 UTC