Theorem range_pow_padic_val_nat_subset_divisors
Modification history
2022-09-26 19:49
src/number_theory/padics/padic_val.lean
chore(number_theory/padics): stylistic changes (#15755) …
Modified range_pow_padic_val_nat_subset_divisorsView on Github →2022-06-09 13:27
src/number_theory/padics/padic_val.lean
feat(number_theory/padics/padic_val): add `padic_val_nat_def'` and generalise `pow_padic_val_nat_dvd` (#14637) …
Modified range_pow_padic_val_nat_subset_divisorsView on Github →