Changes between Version 15 and Version 16 of Ticket #21869


Ignore:
Timestamp:
06/09/17 06:13:41 (2 years ago)
Author:
saraedum
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #21869 – Description

    v15 v16  
    991. Coercions are injective if the underlying map is #21879
    10101. Ring homomorphisms from Fields are injective #21879
     111. Polynomial rings embed into their fraction fields #23185
    11121. The embedding of a ring into a polynomial ring over that ring is injective
    12131. Morphisms of number fields are injective #21879