Changes between Version 15 and Version 16 of Ticket #21869
- Timestamp:
- 06/09/17 06:13:41 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #21869 – Description
v15 v16 9 9 1. Coercions are injective if the underlying map is #21879 10 10 1. Ring homomorphisms from Fields are injective #21879 11 1. Polynomial rings embed into their fraction fields #23185 11 12 1. The embedding of a ring into a polynomial ring over that ring is injective 12 13 1. Morphisms of number fields are injective #21879