enum_parts: add missing hypothesis in admitted lemma (let's try to make it true, at least!)
enum_parts: add missing hypothesis in admitted lemma (let's try to make it true, at least!)

artart78/coq-bitset