diff options
| author | Erik Martin-Dorel | 2019-11-01 01:59:07 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-11-01 04:43:15 +0100 |
| commit | f7c078d1a16a9554fb320a85b4c7d33499037484 (patch) | |
| tree | 57b72a08ba6f51e8898922ecae03e969789e122b /doc/stdlib | |
| parent | 1857d474d06b23df32c16be26225ee174ad4d6c1 (diff) | |
[ssr] Update doc for under w.r.t. setoid-like relations
Diffstat (limited to 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions