Theorem Path.exists_congr

Modification history

2025-09-21 18:06
Mathlib/Topology/Path.lean
chore: reduce `open Fin.NatCast` (#29840) …
Added Path.exists_congrView on Github →