Discrete Anomaly Matching