Theorem Nat.cast_eq_neg_cast

Modification history

2025-02-17 12:13
Mathlib/Data/Nat/Cast/Order/Ring.lean
feat: finset of pairs of divisors of an integer (#21912) …
Added Nat.cast_eq_neg_castView on Github →