Skip to content
Snippets Groups Projects
Ansgar Burchardt's avatar
Ansgar Burchardt authored
quotient must be representable without error

See merge request core/dune-common!387
c295d03b
History
Name Last commit Last update