Theorem ContMDiff.div_const

Modification history

2023-07-29 12:41
Mathlib/Geometry/Manifold/Algebra/Monoid.lean
feat: groups with zero with a smooth division away from zero (#6069) …
Added ContMDiff.div_constView on Github →