issue #14275: Create library note explaining seemingly re...

Stream: triage

[Random Issue Bot]

Today I chose issue 14275 for discussion!

Create library note explaining seemingly redundant fintype and decidable arguments.
Created by @Kyle Miller (@kmill) on 2022-05-20
Labels:

Is this issue still relevant? Any recent updates? Anyone making progress?