Theorem DiffContOnCl.mk_ball

Modification history

2023-05-30 10:47

Mathlib/Analysis/Calculus/DiffContOnCl.lean

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

Added DiffContOnCl.mk_ball View on Github →