Fintype (α ≃ β)

Stream: Is there code for X?

[Violeta Hernández]

Do we have this instance somewhere?

[Violeta Hernández]

Or is the idea that you shouldn't use Fintype for types that can get as big as these?

[Bhavik Mehta]

docs#equivFintype

[Violeta Hernández]

Nice! I was stuck looking for Equiv.Fintype and variations of that

[Bhavik Mehta]

Loogle is great for this kind of question!

[Bhavik Mehta]

@loogle Fintype (_ ≃ _)

[Bhavik Mehta]

@loogle Fintype (_ ≃ _)

[loogle]

:search: equivFintype

[Edward van de Meent]

Alternatively, you can go to docs#Fintype and look through the instances (while hoping that it isn't given through hierarchy)