Theorem: setIndependent_singleton (Matroid/ForMathlib/Lattice.lean)

State before:
α : Type u_1
inst✝ : CompleteLattice α
s : α
⊢ CompleteLattice.SetIndependent {s}
Tactic:
simp [CompleteLattice.SetIndependent]
State after:
no goals