diff options
| author | Raphaël Monat | 2017-10-03 16:20:08 +0200 |
|---|---|---|
| committer | Raphaël Monat | 2017-10-03 16:20:08 +0200 |
| commit | dfa56fb57b09296cdf311ec5972d2d33b787e48c (patch) | |
| tree | 301e2b657d89a7edd98c38bf8428a88a99720652 /API/API.ml | |
| parent | d4009edb53ab7780bc85d83ccf01c6920c7f09e1 (diff) | |
Add Qabs_Qinv: Qabs (/ q) == / (Qabs q).
Diffstat (limited to 'API/API.ml')
0 files changed, 0 insertions, 0 deletions