Revision #2992 → #3233 · back to history
4471d8abf2f8| Field | From #2992 | To #3233 |
|---|---|---|
| mathlib.decl | Real.fourierIntegral_eq | Real.fourier_real_eq |
f6bae1c67f4a| Field | From #2992 | To #3233 |
|---|---|---|
| mathlib.decl | mellin_inversion | mellinInv_mellin_eq |
| provenance | ai | ai-moderated |