diff options
| author | letouzey | 2010-11-02 15:10:31 +0000 |
|---|---|---|
| committer | letouzey | 2010-11-02 15:10:31 +0000 |
| commit | 11f5deaf28c489f54d86d8f38314bb77544f70b7 (patch) | |
| tree | c5c32c3169033fa93d49b900d96eaa4c50c5936a /doc/stdlib | |
| parent | 2e93411329de51cac30c63e111a03059bde43394 (diff) | |
Numbers: specs about sqrt and pow of neg numbers, even in NZ
These additional specs are useless (but trivially provable) for N.
They are quite convenient when deriving properties in NZ.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13603 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions