Nemeras
Results
1
issues of
Nemeras
Hi, Is there a reason that a {fset T} with T a fintype isn't considered a fintype ?