Theorem ContDiffWithinAt.fst

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.fstView on Github →