Documentation

Mathlib.Data.Finite.Powerset

Finiteness of powersets #

source
instance Finite.instSet {α : Type u_1} [Finite α] :
Finite (Set α)
Equations
  • ⋯ = ⋯