diff options
| author | Enrico Tassi | 2020-09-07 21:16:50 +0200 |
|---|---|---|
| committer | GitHub | 2020-09-07 21:16:50 +0200 |
| commit | c43abda6504f909db9884f2c42f764378471129f (patch) | |
| tree | 41fbb271e1fe6570dc70e80c35425503658079ec /mathcomp/basic/binomial.v | |
| parent | 9adc523e89022fc6ac77471fb3fe381ad344d060 (diff) | |
| parent | c2721f5f10d5443d5a10d641a8474f00fc3d07a2 (diff) | |
Merge pull request #562 from CohenCyril/rowcol_dlrsubmx
Adding [row|col]_[udlr]submx lemmas
Diffstat (limited to 'mathcomp/basic/binomial.v')
0 files changed, 0 insertions, 0 deletions