P
Initializing...
Hall's condition glues over a partition: per-class Hall bounds with fibers disjoint across classes give the Hall bound for every finite set · Prove2Me