Theorem padicValNat.pow_two_sub_one

Modification history

2025-12-20 12:59
Mathlib/NumberTheory/Multiplicity.lean
feat: 2025 imo problem3 (#27254) …
Added padicValNat.pow_two_sub_oneView on Github →