commit | 7dda34217bceaa8b9dd63447c3673cb40664a46f | [log] [tgz] |
---|---|---|
author | xul <Xul@students.uni-marburg.de> | Thu Apr 16 20:35:00 2020 +0200 |
committer | xul <Xul@students.uni-marburg.de> | Thu Apr 16 20:35:00 2020 +0200 |
tree | e14d8c41e7fb9a7dbffa09152053aa580090a774 | |
parent | 5a1a6b6703bfd521f54cfa0834da3cc75ee87a56 [diff] |
Add check for injective Signed-off-by: xul <Xul@students.uni-marburg.de>