Mathlib v3 is deprecated. Go to Mathlib v4

Theorem unique_diff_within_at.univ_pi

Modification history

2022-08-30 13:54
src/analysis/calculus/tangent_cone.lean
chore(analysis, measure_theory): Fix lint (#16216) …
Modified unique_diff_within_at.univ_piView on Github →
2021-04-22 10:34
src/analysis/calculus/tangent_cone.lean
refactor(geometry/manifold): redefine some instances (#7124) …
Modified unique_diff_within_at.univ_piView on Github →
2021-03-14 00:42
src/analysis/calculus/tangent_cone.lean
feat(analysis/calculus/tangent_cone): add `unique_diff_on.pi` (#6577)
Added unique_diff_within_at.univ_piView on Github →