diff options
| author | Assia Mahboubi | 2018-09-13 18:39:23 +0200 |
|---|---|---|
| committer | GitHub | 2018-09-13 18:39:23 +0200 |
| commit | e22dda147ad60619b960e2b518075282c144be35 (patch) | |
| tree | d30604c961b983116fdc6818c178a08fb7578c6a /mathcomp/character | |
| parent | 278b9af169ce8bbac59a96f5f7136dc313b7474a (diff) | |
| parent | 8d8432614e3849ff35f03f098b1a17b4ce41651a (diff) | |
Merge pull request #216 from CohenCyril/all_iff
Small scale tool for proving circular implications, and using any pair of statements as an equivalence
Diffstat (limited to 'mathcomp/character')
0 files changed, 0 insertions, 0 deletions