diff options
| author | notin | 2007-10-30 09:27:30 +0000 |
|---|---|---|
| committer | notin | 2007-10-30 09:27:30 +0000 |
| commit | 67040519baa5b82495135a84ae1a79e45a1af42b (patch) | |
| tree | 2172b90d4a95c594934968ae019c72865912a314 /theories/Numbers/Integer/TreeMod/ZTreeMod.v | |
| parent | 7fd5ade892dcb487cacc646335601dc3bc52009e (diff) | |
Ajout de lemmes d'inversion pour mult (sur le modèle de plus_is_O et plus_is_one)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10273 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Numbers/Integer/TreeMod/ZTreeMod.v')
0 files changed, 0 insertions, 0 deletions