Commit 2023-07-19 18:49 e121b524
View on Github →feat(NumberTheory/ArithmeticFunction): define pointwise division of arithmetic functions (#5774) Define pointwise division of arithmetic functions and prove it preserves multiplicativity.
feat(NumberTheory/ArithmeticFunction): define pointwise division of arithmetic functions (#5774) Define pointwise division of arithmetic functions and prove it preserves multiplicativity.