Theorem Dioph.diophPFun_vec

Modification history

2026-05-08 23:32
Mathlib/NumberTheory/Dioph.lean
chore(NumberTheory/Dioph): reduce defeq abuse of `Set α = α → Prop` (#39099)
Modified Dioph.diophPFun_vecView on Github →
2023-12-16 07:33
Mathlib/NumberTheory/Dioph.lean
chore: `Nsmul` -> `NSMul`, `Zpow` -> `ZPow`, etc (#9067) …
Added Dioph.diophPFun_vecView on Github →