Theorem Associates.eq_factors_of_eq_counts

Modification history