Skip to content

Add `seq_set_pred_disjoint`

Dan Frumin requested to merge dfrumin/coq-stdpp:master into master

A sort of "dual" to seq_set_S_disjoint.

Merge request reports