Mathlib v3 is deprecated. Go to Mathlib v4

Theorem unique_diff_on.inter

Modification history

2019-10-17 20:03
src/analysis/calculus/tangent_cone.lean
refactor(topology,calculus): change subset condition for composition (#1549) …
Added unique_diff_on.interView on Github →