Theorem List.mem_cons_iff
Modification history
2022-09-08 18:38
Mathlib/Init/Data/List/Lemmas.lean
chore: bump std4 09-08 (#403) …
Deleted List.mem_cons_iffView on Github →2022-08-09 19:13
Mathlib/Init/Data/List/Lemmas.lean
port some lemmas for use in fin_cases (#350) …
Added List.mem_cons_iffView on Github →