Revision #2117 → #2557 · back to history
f2f674b1c008| Field | From #2117 | To #2557 |
|---|---|---|
| mathlib.decl | klDiv | InformationTheory.klDiv |
| provenance | ai | ai-moderated |
872ea9326e92| Field | From #2117 | To #2557 |
|---|---|---|
| mathlib.decl | pow_dioph | Dioph.pow_dioph |
| provenance | ai | ai-moderated |