diff options
| author | Jasper Hugunin | 2018-02-21 23:48:01 -0800 |
|---|---|---|
| committer | Jasper Hugunin | 2018-02-21 23:48:01 -0800 |
| commit | 40d53fc61a7907c7f08bf37b9ab045ef4a5a1fe9 (patch) | |
| tree | 6f7346554b33f1ea2ed343185486a7ca469dccc4 /mathcomp/character/classfun.v | |
| parent | cef1a8eadcdef812ce9ee2738cb294644fafbfab (diff) | |
Change Implicit Arguments to Arguments in field
Diffstat (limited to 'mathcomp/character/classfun.v')
0 files changed, 0 insertions, 0 deletions