Talk:Order of Galois Group Equals Degree of Extension

I moved the proof to Equivalence of Definitions of Galois Extension. I think it's useful to keep this page as a redirect to somewhere, though. Probably also Equivalence of Definitions of Galois Extension. --barto (talk) 04:04, 13 July 2017 (EDT)