Commit 2024-10-02 16:36 4660dcd5

View on Github →

feat: there are finitely many lists of a fixed length (#17288) From LeanCamCombi

Estimated changes

Modified Mathlib/Data/Set/Finite.lean

added theorem List.finite_length_eq

added theorem List.finite_length_le

added theorem List.finite_length_lt