mathlib
0c18d968 - chore(data/padics/*): linting + squeeze_simp speedup (#4531)

Commit

5 years ago

chore(data/padics/*): linting + squeeze_simp speedup (#4531)

References

#4925 - Make prime-avoidance branch build

Author

jcommelin

jcommelin

Parents

Loading