Theorem Path.extend_apply

Modification history

2025-11-18 12:49
Mathlib/Topology/Path.lean
feat: grind golfing in Topology/Path (#31305) …
Added Path.extend_applyView on Github →