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: Oct 13 2024 at 01:02 UTC