Theorem frobeniusNumber_iff

Modification history

2025-09-12 22:44

Mathlib/NumberTheory/FrobeniusNumber.lean

feat(NumberTheory): Frobenius number exists & ℕ is Noetherian semiring (#27743) …

Added frobeniusNumber_iff View on Github →