Stream: math-comp users

Topic: countType vs choiceType

view this post on Zulip Ana de Almeida Borges (Nov 03 2022 at 14:48):

Karl Palmskog said:

from what I can recall, one can get a countType from a choiceType nearly automatically at any point, and I don't think any finType is involved

How? Are choiceType and countType actually interchangeable?

Last updated: Feb 08 2023 at 07:02 UTC