Theorem Int.natCast_pow_pred

Modification history

2025-12-20 12:59
Mathlib/Algebra/Ring/Int/Parity.lean
feat: 2025 imo problem3 (#27254) …
Added Int.natCast_pow_predView on Github →