Commit 2025-08-24 17:49 172ffe4f

View on Github →

feat: more positivity extensions (#28791) Add positivity extensions for:

  • Nat.gcd, Nat.lcm, Int.gcd, Int.lcm;
  • Nat.sqrt, Nat.totient.

Estimated changes