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 →