Theorem IsPathConnected.mul

Modification history

2025-05-11 18:08
Mathlib/Topology/Connected/PathConnected.lean
chore(Convex/Topology): golf (#24765) …
Added IsPathConnected.mulView on Github →