Theorem Path.target_mem_range

Modification history

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