UnbalancedRatioNormalization.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Normalization of common ratio counts when the two original coordinate sets have comparable, rather than identical, cardinalities.