diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-08-09 14:00:26 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2018-02-20 10:03:03 +0100 |
| commit | 407e154baa44609dea9f6f1ade746e24d60e2513 (patch) | |
| tree | d29ce22e16bdd2a243f45d16f6a07ec81a299f18 /theories/ZArith/Zpow_facts.v | |
| parent | 66eae7fa7f8e1f075a8c84afad48af4d35c4bfaf (diff) | |
Rephrasing ETBinderList with a self-documenting and invariant-carrying argument.
Diffstat (limited to 'theories/ZArith/Zpow_facts.v')
0 files changed, 0 insertions, 0 deletions