Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.diag_image

Modification history

2023-01-25 16:34
src/data/set/prod.lean
feat(analysis/calculus/cont_diff): Prove that `fderiv_within` is `C^n` for functions with parameters (#16946) …
Added set.diag_imageView on Github →