diff options
| author | Michael Soegtrop | 2020-05-01 14:42:02 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2020-05-01 14:42:02 +0200 |
| commit | f129326d545ae27d362132b279167d119894a992 (patch) | |
| tree | 0b1da21844fcf75dd7090c42e61b3eb677a9a45f /plugins | |
| parent | df89e28b0de6597b849078a4fd7d2dce3710f5e4 (diff) | |
| parent | 18544983e1b2a342c8bbcbd3c51003b11453213f (diff) | |
Merge PR #12221: Replace QSeqEquiv by QCauchySeq, simplify proofs.
Reviewed-by: MSoegtropIMC
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions