Def FrobeniusNumber

Modification history

2023-01-20 16:50
Mathlib/NumberTheory/FrobeniusNumber.lean
feat: port NumberTheory.FrobeniusNumber (#1719)
Added FrobeniusNumberView on Github →