diff options
| author | Cyril Cohen | 2019-05-15 11:42:43 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2019-12-11 14:25:52 +0100 |
| commit | 6d34f29cf906b6672925ee3abd4e54b59eea784f (patch) | |
| tree | 9ee30f84b3ca84f2d652611a54c2d88239fe5208 /mathcomp/character/classfun.v | |
| parent | fbf0b7568b8d6231671954cba8bcae4120e591cc (diff) | |
Changing license
Diffstat (limited to 'mathcomp/character/classfun.v')
0 files changed, 0 insertions, 0 deletions