Theorem contDiffWithinAt_prod_iff

Modification history

2026-03-19 14:41
Mathlib/Analysis/Calculus/ContDiff/Comp.lean
feat: smoothness on a set can be checked in extended charts (#36816) …
Added contDiffWithinAt_prod_iffView on Github →