Documentation

Mathlib.Data.Set.Finite.List

Finiteness of sets of lists #

Tags #

finite sets

theorem List.finite_length_eq (α : Type u_1) [Finite α] (n : ) :
theorem List.finite_length_lt (α : Type u_1) [Finite α] (n : ) :
theorem List.finite_length_le (α : Type u_1) [Finite α] (n : ) :