Changes between Version 17 and Version 18 of Ticket #21869


Ignore:
Timestamp:
06/09/17 06:50:02 (2 years ago)
Author:
saraedum
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #21869 – Description

    v17 v18  
    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~~
     131. p-adic rings embed into their fraction fields #23188
    13141. Morphisms of number fields are injective #21879
    14151. ZZ into QQ is injective #21879