Commit 2025-01-20 11:09 f09056ef
View on Github →feat(RingTheory): prime is restriction of a prime iff it is the restriction of its extension (#20700) Co-authored by: Sihan Su ssh@stu.pku.edu.cn Co-authored by: Yi Song sif4delta0@mail.ustc.edu.cn
feat(RingTheory): prime is restriction of a prime iff it is the restriction of its extension (#20700) Co-authored by: Sihan Su ssh@stu.pku.edu.cn Co-authored by: Yi Song sif4delta0@mail.ustc.edu.cn