Theorem Path.bijective_cast

Modification history

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