diff options
| author | Anton Trunov | 2019-05-29 12:52:42 +0300 |
|---|---|---|
| committer | Anton Trunov | 2019-05-29 12:52:42 +0300 |
| commit | 1aa27b589c437b88cc6fb556edfceac42da449ea (patch) | |
| tree | 89ca80f1debd99159a24bfb4246a35cb3c96287b /mathcomp/solvable | |
| parent | c7c344f2f08f3910c884d9c3bb1bd5cfe3c2a1d7 (diff) | |
Canonical way of expressing dis-equality on an eqType is x != y
Addressing a suggestion by @CohenCyril
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions