diff options
| author | Kazuhiko Sakaguchi | 2020-12-20 21:43:11 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2021-01-15 18:15:07 +0900 |
| commit | 01260ccd97f5cb698d6cd0936a7ddba43b973afc (patch) | |
| tree | faacdaf98cbaccb37a7db57fd79446a70495ad8e /mathcomp/character/classfun.v | |
| parent | aaffb229c5e0a74c4d52a94dd67197c099c4d89b (diff) | |
[CI/CD] support Coq 8.13
Diffstat (limited to 'mathcomp/character/classfun.v')
0 files changed, 0 insertions, 0 deletions