Def Finset.decidableForallOfDecidableSSubsets'

Modification history

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