Skip to content
Snippets Groups Projects

add a function to obtain a set with all elements of a finite type

Merged add a function to obtain a set with all elements of a finite type
ralf/fin_to_set into master
2 unresolved threads
Merged Ralf Jung requested to merge ralf/fin_to_set into master
2 unresolved threads
Compare
and
Compare changes
  • Side-by-side
  • Inline
Files
1