diff options
| author | Georges Gonthier | 2018-12-18 22:35:46 +0100 |
|---|---|---|
| committer | Georges Gonthier | 2018-12-18 22:37:52 +0100 |
| commit | 5b48f0ef374c167cc5cd82589ee00e8ac76f3e67 (patch) | |
| tree | 7a37c058f4519aabe05d427160296876cb6fab73 /mathcomp/character | |
| parent | 91fa7b5739605e70959e9a02c43135ca55c12e0a (diff) | |
swap mingroup / maxgroup arguments
Moved set argument before predicate argument for mingroup and maxgroup
because Coq only displays notation with identifier parameters that are
both bound and free if there is at least one free occurrence to the
left of the binder.
Diffstat (limited to 'mathcomp/character')
0 files changed, 0 insertions, 0 deletions