Stream: math-comp users

Topic: ✔ Using canonical instances in mathcomp2


view this post on Zulip Sebastian Ertel (Feb 22 2024 at 12:00):

I found the problem. An Imported file redefined unit and this new unit does not yet implement/instantiate the choiceType.

view this post on Zulip Sebastian Ertel (Feb 22 2024 at 12:00):

Nevertheless thanks a lot for your hints.

view this post on Zulip Notification Bot (Feb 22 2024 at 12:00):

Sebastian Ertel has marked this topic as resolved.


Last updated: Jul 15 2024 at 19:01 UTC