ScalarPairGrouping.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Simultaneous grouping for two separated child sets. Separation of their union is not required; the dense group may come from either side.