An error occurred while fetching folder content.
Ralf Jung
authored
Use `SProp` to obtain better definitional equality for `pmap`, `gmap`, `gset`, `Qp`, and `coPset` Closes #85 See merge request iris/stdpp!309
| Name | Last commit | Last update |
|---|