mathlib3
a81ef2fd - perf(number_theory/padics/hensel): squeeze simps (#15926)

Commit
3 years ago
perf(number_theory/padics/hensel): squeeze simps (#15926) This avoids a timeout in #15890.
Author
Parents
Loading