mathlib

5fcad214 - feat(number_theory/frobenius_number): Frobenius numbers (#9729)

feat(number_theory/frobenius_number): Frobenius numbers (#9729) Co-authored-by: cocohearts <41932135+cocohearts@users.noreply.github.com> Co-authored-by: Thomas Browning <tb65536@uw.edu> Co-authored-by: awainverse <awainverse@gmail.com>