diff options
| author | Enrico Tassi | 2020-10-26 15:16:07 +0100 |
|---|---|---|
| committer | GitHub | 2020-10-26 15:16:07 +0100 |
| commit | 03003d87b98a836e692ffe46cba9fe6041336b91 (patch) | |
| tree | df9107d380f6836aedb3a89425c608e19ee9fee7 /mathcomp/_CoqProject | |
| parent | 86f41151dd20220a19ae7b000c48e1464451a608 (diff) | |
| parent | a635c0047ec4c5f0880046c5970d50b283361110 (diff) | |
Merge pull request #584 from CohenCyril/stability
Theory of stability of a subspace by a matrix representing an endomorphism.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions