diff options
| author | Kazuhiko Sakaguchi | 2019-05-21 17:36:39 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2019-12-11 14:26:52 +0100 |
| commit | ebd828b4939f105d7ea7d7bb950b5dcfd6887981 (patch) | |
| tree | 1fce21fdadf105e971d5ba36159fd775e000d137 /mathcomp/ssreflect/order.v | |
| parent | 6d34f29cf906b6672925ee3abd4e54b59eea784f (diff) | |
Use `deprecate` notation in ssrnum
Diffstat (limited to 'mathcomp/ssreflect/order.v')
0 files changed, 0 insertions, 0 deletions