diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-11-16 18:51:58 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-16 18:51:58 +0100 |
commit | 2b504cd20b7cbbd0a3e7473162c7640907faf04d (patch) | |
tree | ff59deb3653d994e566fba02a3ef2b310c2319ba /.github | |
parent | a24a67080965f676335388c177d7eb8a9d3fdb13 (diff) |
Refactor tangent plane lemmas (#5449)
The original lemma only proposed an implication for the tangent plane lemmas, while our implementation adds the inverse implication as well (in a somewhat verbose way).
This PR replaces this by simply constructing the equivalence.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions