diff options
| author | Cyril Cohen | 2020-05-04 16:22:45 +0200 |
|---|---|---|
| committer | GitHub | 2020-05-04 16:22:45 +0200 |
| commit | 45876a191dceeadfff4c665d8d2e6df3f8a62e3e (patch) | |
| tree | 6851fe8b7a57a4fb51c160120cf4b7a382d845f4 /mathcomp/ssreflect | |
| parent | 582a4a3943652b1ba7e9e689bf4051ada17f1c36 (diff) | |
| parent | df0662036fe5a8ff6410876ee4a441f97ba0907c (diff) | |
Merge pull request #498 from chdoc/doc-in-mem
document 'in_' and 'mem_' prefixes for infix membership
Diffstat (limited to 'mathcomp/ssreflect')
0 files changed, 0 insertions, 0 deletions