diff options
| author | Raphaël Monat | 2017-10-08 21:27:14 +0200 |
|---|---|---|
| committer | Raphaël Monat | 2017-10-08 21:27:14 +0200 |
| commit | 0a65d234346a73c98a9f65d2248edbbbe5e9fccb (patch) | |
| tree | 137e71100110b2be76a6a6924689514050285fbc /API/API.mllib | |
| parent | 2ac3427a8366c28be37b33deb47e7823378263a3 (diff) | |
Changed Qeq_bool_sym into Qeq_bool_comm, used the proof of @letouzey.
Diffstat (limited to 'API/API.mllib')
0 files changed, 0 insertions, 0 deletions