Def BoundedVariationOn

Modification history

2024-12-09 09:39

Mathlib/Analysis/BoundedVariation.lean

chore(Analysis/BoundedVariation): split file (#19784) …

Modified BoundedVariationOn View on Github →

2023-06-20 11:14

Mathlib/Analysis/BoundedVariation.lean

feat: port Analysis.BoundedVariation (#4824) …

Added BoundedVariationOn View on Github →