Mathlib Changelog v4

Changelog About Github

Structure DiffContOnCl

Modification history

2023-05-30 10:47

Mathlib/Analysis/Calculus/DiffContOnCl.lean

feat: port Analysis.Calculus.DiffContOnCl (#4492)

Added DiffContOnCl View on Github →