Commit 2026-06-19 06:21 e88fd8b4

View on Github →

chore: remove two superfluous IsManifold hypotheses (#40786)

Estimated changes

Modified Mathlib/Geometry/Manifold/ContMDiff/Defs.lean

modified theorem contMDiffOn_iff_source_of_mem_maximalAtlas

modified theorem contMDiffOn_zero_iff