Lean Formalization of Generalization Error Bound by Rademacher Complexity

Re-assign community