mathlib
74664245 - feat(number_theory/padics): add padic_norm lemmas (#9527)

Commit

4 years ago

feat(number_theory/padics): add padic_norm lemmas (#9527)

Author

mariainesdff

mariainesdff

Parents

Loading