Diff — Mathematical analysis

Revision #2111 → #2822 · back to history

modifiedLebesgue measure on Euclidean space70ed1c429cc2

Field	From #2111	To #2822
mathlib.module	Mathlib.MeasureTheory.Measure.Haar.OfBasis	Mathlib.MeasureTheory.Measure.Lebesgue.Basic
provenance	ai	ai-moderated

addedRolle's theorem5e3da92c36f0

addedTaylor series5e456a86f536

addedCauchy sequence9bb67f491015

added(ε, δ)-definition of limitce2251ee8285

addedBaire category theorem91f0ff029416

addedLebesgue integration90c2216130e3

addedHilbert spacec21cb59ba475

addedNormed vector spaceba1f2241a36f

addedAnalytic functione396eeaa27a1

addedMeromorphic function0c8be987f97e

addedFourier transform0ee3c00c665d

addedFourier seriesaf9580573320

addedDedekind cuts (construction of ℝ)2cfffce235cc