Theorem List.surjective_head!

Modification history

2023-09-06 11:21
Mathlib/Data/List/Basic.lean
feat: List.head_mem (#6801)
Added List.surjective_head!View on Github →