Changes between Version 18 and Version 19 of Ticket #21869


Ignore:
Timestamp:
Jun 9, 2017, 7:09:11 AM (6 years ago)
Author:
Julian Rüth
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #21869 – Description

    v18 v19  
    14141. Morphisms of number fields are injective #21879
    15151. ZZ into QQ is injective #21879
     161. quotients of polynomial rings are injective/surjective #23190
    16171. ZZ into a Number Field is injective #21879
    17181. ZZ into an order of a Number Field is injective #21879