diff options
| author | Georges Gonthier | 2018-12-11 11:04:45 +0100 |
|---|---|---|
| committer | GitHub | 2018-12-11 11:04:45 +0100 |
| commit | 316cca94aef28c2023cd823c588b140e13d0aded (patch) | |
| tree | 33bfd5ebefbde4b3fef0841d6e039d22104201ab /mathcomp/character/classfun.v | |
| parent | 67ccc34eb6f05383e0e7bd90c7df9e4fb51f2a87 (diff) | |
| parent | a2d36f6f0746531d207e760a22d47dd2ebb77ade (diff) | |
Merge pull request #257 from CohenCyril/eqmsP
Adding lemma `eqmxMunitP`
Diffstat (limited to 'mathcomp/character/classfun.v')
0 files changed, 0 insertions, 0 deletions