Theorem dslope_of_ne

Modification history

2024-08-05 13:16

Mathlib/Analysis/Calculus/Dslope.lean

chore: remove some open Classical, part 3 (#15417) …

Modified dslope_of_ne View on Github →

2023-05-30 08:23

Mathlib/Analysis/Calculus/Dslope.lean

feat: port Analysis.Calculus.Dslope (#4491)

Added dslope_of_ne View on Github →