diff options
| author | Kazuhiko Sakaguchi | 2020-11-18 13:33:36 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-11-19 05:53:45 +0900 |
| commit | 9e6c20b4bd5397539debee9fcb0853b6924ecfb9 (patch) | |
| tree | 512c6cc466df5609008bb339a1a2a67dd59df44d /mathcomp/algebra/matrix.v | |
| parent | 82db85f541dc9a47fd79b462a63b8b80a8468557 (diff) | |
Rename `subseq_order_path` to `subseq_path`
Diffstat (limited to 'mathcomp/algebra/matrix.v')
0 files changed, 0 insertions, 0 deletions