Forgetting to Witness: Efficient Federated Unlearning and Its Visible Evaluation | ArxivCSExplorer