Mathlib Changelog v4

Changelog About Github

Theorem Dioph.diophFn_comp1

Modification history

2023-06-11 15:31

Mathlib/NumberTheory/Dioph.lean

feat: port NumberTheory.Dioph (#4914)

Added Dioph.diophFn_comp1 View on Github →