User:Egrr

I am a 2nd year (3rd year after this summer) student at Sorbonne Université, where I major in math and cs. Proofwiki helped me a lot in studying math myself, so I would like to write proofs and help Proofwiki to be more complete in the future. The direct reason why I made this request is that I found a small error in Maximal_Ideal_iff_Quotient_Ring_is_Field Proof 3, x should be a. It has been a little confusing for me but understandable.