Def Finset.decidableExistsOfDecidableSSubsets'

Modification history

2023-07-31 15:32
Mathlib/Data/Finset/Powerset.lean
chore: tidy various files (#6174)
Added Finset.decidableExistsOfDecidableSSubsets'View on Github →