Theorem ContMDiffWithinAt.pow

Modification history

2026-03-05 11:23

Mathlib/Geometry/Manifold/Algebra/Monoid.lean

chore(Geometry/Manifold/Algebra): golf using custom elaborators (#36007)

Modified ContMDiffWithinAt.pow View on Github →

2025-09-17 11:12

Mathlib/Geometry/Manifold/Algebra/Monoid.lean

feat: ContMDiffAt.pow (#29459) …

Added ContMDiffWithinAt.pow View on Github →