diff options
| author | Enrico Tassi | 2020-09-08 07:14:02 +0200 |
|---|---|---|
| committer | GitHub | 2020-09-08 07:14:02 +0200 |
| commit | b0697693bda2a4c49a38e9265abcf68613801210 (patch) | |
| tree | d58e639b7ca47c522572092aaed51f3e209d5677 /mathcomp/algebra | |
| parent | c43abda6504f909db9884f2c42f764378471129f (diff) | |
| parent | 8710f75d73ce4f1c010f1792ebba37a08852c23b (diff) | |
Merge pull request #567 from CohenCyril/find_split
split_find_nth and split_find lemmas
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions