diff options
| author | Vincent Semeria | 2020-04-30 18:27:21 +0200 |
|---|---|---|
| committer | Vincent Semeria | 2020-04-30 23:21:29 +0200 |
| commit | 18544983e1b2a342c8bbcbd3c51003b11453213f (patch) | |
| tree | 4b32a5440e9e0b510f66f62ba5af9033b915fba5 /plugins | |
| parent | c4a24b7a7844789a08dabe8a76b20c239a8b8218 (diff) | |
Replace QSeqEquiv by QCauchySeq, simplify proofs.
Force Cauchy modulus equal to identity, make division transparent
Fix test
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions