diff options
| author | Cyril Cohen | 2020-09-08 03:48:55 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-10-21 15:57:42 +0200 |
| commit | a635c0047ec4c5f0880046c5970d50b283361110 (patch) | |
| tree | 88c4ec6f85e6ba97bf2dc039fe07bcb8d63993b6 /mathcomp/_CoqProject | |
| parent | ed3d822bc5a1c3759140b7fd7567f2b4278ae0be (diff) | |
Theory of stability of a subspace by a matrix representing an endomorphism.
Added `stablemx` notation and a few lemmas about it.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions