analysis icon indicating copy to clipboard operation
analysis copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

naming in `classical_sets` conflicts with `fintype`

Open affeldt-aist opened this issue 4 years ago • 1 comments

Think of a naming scheme a la finmap?

affeldt-aist avatar Nov 09 '20 08:11 affeldt-aist

What about calling them "general sets" and use the gset prefix to avoid conflicts? @CohenCyril @mkerjean

affeldt-aist avatar May 30 '21 16:05 affeldt-aist