mathlib

b2aaece0 - feat(field_theory/is_alg_closed): alg closed and char p implies perfect (#12037)

feat(field_theory/is_alg_closed): alg closed and char p implies perfect (#12037) Co-authored-by: Johan Commelin <johan@commelin.net> Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com> Co-authored-by: Adam Topaz <github@adamtopaz.com>