Stream: math-comp users

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

Notification Bot (Aug 06 2022 at 11:05):

Alex Loiko has marked this topic as resolved.

Alex Loiko (Aug 06 2022 at 11:06):

Thank you for the help, @Paolo Giarrusso

Last updated: Jan 29 2023 at 19:02 UTC