Commit 2023-08-01 16:49 34cd6c17

View on Github →

feat: add a generalisation of Dirichlet's approximation theorem (#6033)

Estimated changes