Files
rust/library
Jonathan Brouwer 04bcb393ab Rollup merge of #155265 - Apersoma:isqrt-smarter, r=jhpratt,tgross35
Improved assumptions relating to isqrt

Improved various assumptions relating to values yielded by `isqrt`.
Does not solve but does improve rust-lang/rust#132763.

Re-openeing of rust-lang/rust#154115

Added assumptions are:
* if `x` is nonzero then `x.isqrt()`  is nonzero
* `x.isqrt() <= x`
* `x.isqrt() * x.isqrt() <= x`
2026-04-23 09:38:21 +02:00
..
2026-04-20 16:00:18 +00:00
2026-01-26 10:57:35 +00:00
2026-04-21 09:26:25 -07:00
2026-02-22 19:59:25 +01:00
2026-01-26 10:59:16 +00:00