Theorem List.finite_length_lt

Modification history

2024-10-02 16:36
Mathlib/Data/Set/Finite.lean
feat: there are finitely many lists of a fixed length (#17288) …
Added List.finite_length_ltView on Github →