Commit 2023-01-20 16:50 3c7a8ea5

View on Github →

feat: port NumberTheory.FrobeniusNumber (#1719)

Estimated changes

added def FrobeniusNumber
added theorem frobeniusNumber_pair