Changes between Version 24 and Version 25 of Ticket #21869
- Timestamp:
- 06/09/17 22:38:25 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #21869 – Description
v24 v25 10 10 1. Ring homomorphisms from Fields are injective #21879 11 11 1. Polynomial rings embed into their fraction fields #23185 12 1. ~~The embedding of a ring into a polynomial ring over that ring is injective~~12 1. The embedding of a ring into a polynomial ring over that ring is injective #23203 13 13 1. p-adic rings embed into their fraction fields #23188 14 14 1. Morphisms of number fields are injective #21879