Theorem List.nil_le

Modification history

2025-01-05 03:32
Mathlib/Data/List/Lex.lean
chore: bump toolchain to v4.16.0-rc1, and merge bump/v4.16.0 (#20464)
Deleted List.nil_leView on Github →
2024-04-28 07:15
Mathlib/Data/List/Lex.lean
chore: reduce proof dependencies for Nat.factors_count_eq (#12105) …
Added List.nil_leView on Github →