diff options
| author | Kazuhiko Sakaguchi | 2019-10-16 10:26:35 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2019-12-11 14:26:52 +0100 |
| commit | e7df10a74264f52a17f54f87b8a89c9360a46926 (patch) | |
| tree | 13e0a16336d9411d9de7a17110ed39467d7c95f5 /docs | |
| parent | f8d7a9f1090785a61dd81d745a0f46a24515f3d8 (diff) | |
Redefine `normedDomainType` (now `normedZmodType`) (#392)
* Redefine `normedDomainType` (now `normedZmodType`)
- Redefine `normedDomainType` to drop ring and integral domain axioms.
- Add canonical instance of `normedZmodType` for `prod`.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions