Fairness-aware Federated Minimax Optimization with Convergence Guarantee | Synapse