diff options
| author | Cyril Cohen | 2019-03-29 13:07:26 +0100 |
|---|---|---|
| committer | GitHub | 2019-03-29 13:07:26 +0100 |
| commit | 850862dc6475bd48524a294651400df4b5b7ecf3 (patch) | |
| tree | 9a00564e1a51d5bc15ddb7ed7a73c14932f387e9 /mathcomp/solvable | |
| parent | 85a3a1ac7f6548a9489fe860d40e5ab110417569 (diff) | |
| parent | c07f1f8d89dd1f975e06e8c45df2c7a4e6ca7fc3 (diff) | |
Merge pull request #292 from erikmd/under-support
Add extra eta lemmas for the under tactic
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions