Theorem Dioph.inter

Modification history

2023-10-22 10:07

Mathlib/NumberTheory/Dioph.lean

refactor: List.All₂ to List.Forall (#7797) …

Modified Dioph.inter View on Github →

2023-06-11 15:31

Mathlib/NumberTheory/Dioph.lean

feat: port NumberTheory.Dioph (#4914)

Added Dioph.inter View on Github →