Revision #1154 → #2552 · back to history
modifiedGeneralized Stokes theorem (informal)f032dc3cba0d
| Field | From #1154 | To #2552 |
|---|
| mathlib.decl | MeasureTheory.integral_divergence_of_hasFDerivWithinAt_off_countable | MeasureTheory.integral_divergence_of_hasFDerivAt_off_countable |
| provenance | ai | ai-moderated |
modifiedStokes' theoremad125d18f4a6
| Field | From #1154 | To #2552 |
|---|
| mathlib.decl | MeasureTheory.integral_divergence_of_hasFDerivWithinAt_off_countable | MeasureTheory.integral_divergence_of_hasFDerivAt_off_countable |
| provenance | ai | ai-moderated |