Theorem List.finite_length_eq

Modification history

2024-10-16 04:43

Mathlib/Data/Set/Finite.lean

chore: split Data.Finite.Basic (#17796)

Modified List.finite_length_eq View on Github →

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_eq View on Github →