Theorem AdjoinRoot.mk_surjective

Modification history

2023-10-05 06:34

Mathlib/RingTheory/AdjoinRoot.lean

chore(RingTheory): golf, generalize, fix docs (#7500)

Modified AdjoinRoot.mk_surjective View on Github →

2023-05-24 10:36

Mathlib/RingTheory/AdjoinRoot.lean

feat: port RingTheory.AdjoinRoot (#4271)

Added AdjoinRoot.mk_surjective View on Github →