Skip to content

Add `seq_set_pred_disjoint`

Dan Fruminrequested to merge
dfrumin/coq-stdpp:master into master

A sort of "dual" to seq_set_S_disjoint.

Merge request reports