diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-11-17 14:43:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-17 14:43:15 +0100 |
| commit | 3bbdafbc3f5683d04786efdd86db7f478f2ae522 (patch) | |
| tree | 9f07f2861ae819534ea55ddb7c5b189473c4c1e4 /.github | |
| parent | 2b504cd20b7cbbd0a3e7473162c7640907faf04d (diff) | |
Fix tangent plane lemmas (#5455)
The previous refactoring of tangent plane lemmas introduced incorrect lemmas.
This PR fixes this issue and actually generated the lemmas described in the comment.
Fixes #5452.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions