Theorem List.rightInverse_unzip_zip

Modification history

2025-12-01 22:59
Mathlib/Data/List/Zip.lean
feat(SimpleGraph/Walks/Operations): golf `ext_support` using `darts_injective` and `map_{fst,snd}_darts` (#32106)
Added List.rightInverse_unzip_zipView on Github →