| commit | 33878aaa6fa69666a248acbc471498e3db717f47 | [log] [tgz] |
|---|---|---|
| author | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Sat May 09 11:38:57 2020 -0400 |
| committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Sat May 09 11:38:57 2020 -0400 |
| tree | 5844ba2aa9963605f086a4b76a7a5e256000ebe6 | |
| parent | cde7e34d6a97db80725e61de0d2df710fcb7a3e6 [diff] | |
| parent | 7dda34217bceaa8b9dd63447c3673cb40664a46f [diff] |
Merge "Add check for injective"