mathlib
dc8035f9 - complete n = 0 and n = 1 cases of dirichlet_inv_is_inv

Commit

2 years ago

complete n = 0 and n = 1 cases of dirichlet_inv_is_inv

Author

nielsvoss

nielsvoss

Parents

Loading