Changes between Version 24 and Version 25 of Ticket #21869


Ignore:
Timestamp:
Jun 9, 2017, 10:38:25 PM (6 years ago)
Author:
Julian Rüth
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #21869 – Description

    v24 v25  
    10101. Ring homomorphisms from Fields are injective #21879
    11111. Polynomial rings embed into their fraction fields #23185
    12 1. ~~The embedding of a ring into a polynomial ring over that ring is injective~~
     121. The embedding of a ring into a polynomial ring over that ring is injective #23203
    13131. p-adic rings embed into their fraction fields #23188
    14141. Morphisms of number fields are injective #21879