feat: add Brauer-Fowler theorem eval problem#310

kim-em merged 1 commit into

mainleanprover/lean-eval:mainfrom

eval/brauer-fowlerleanprover/lean-eval:eval/brauer-fowlerCopy head branch name to clipboard