Changes between Version 18 and Version 19 of Ticket #21869
- Timestamp:
- 06/09/17 07:09:11 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #21869 – Description
v18 v19 14 14 1. Morphisms of number fields are injective #21879 15 15 1. ZZ into QQ is injective #21879 16 1. quotients of polynomial rings are injective/surjective #23190 16 17 1. ZZ into a Number Field is injective #21879 17 18 1. ZZ into an order of a Number Field is injective #21879