fact: Definition natset_to_bools (sz : nat) (X : natset) : list bool := let f (mu : option ()) := match mu with Some _ => true | None => false end in resize sz false $ f <$> natmap_car (mapset_car X).
imports: stdpp(fin_maps mapset) stdpp(options)