Theorem Poly.ext

Modification history

2024-01-17 23:23

Mathlib/NumberTheory/Dioph.lean

chore(*): rename `FunLike` to `DFunLike` (#9785) …

Modified Poly.ext View on Github →

2023-06-11 15:31

Mathlib/NumberTheory/Dioph.lean

feat: port NumberTheory.Dioph (#4914)

Added Poly.ext View on Github →