Changes between Initial Version and Version 2 of Ticket #21879


Ignore:
Timestamp:
Nov 15, 2016, 6:22:41 AM (6 years ago)
Author:
saraedum
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #21879

    • Property Authors changed from to Julian Rüth

  • Ticket #21879 – Description

    initial v2  
    1212}}}
    1313The changes introduced here, implement it as a method of the morphisms in the category of Rings where we can handle many common cases of morphisms (domain is a field, ….)
     14
     15Note that `is_injective` is not shown in the tab completion anymore. A problem that is fixed in #21872.