Changes between Version 6 and Version 7 of Ticket #23185


Ignore:
Timestamp:
06/09/17 07:17:48 (4 years ago)
Author:
saraedum
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #23185 – Description

    v6 v7  
    1010
    1111but it should return `True`.
     12
     13The latter could be implemented in the category of ring homomorphisms (to find out whether a map is a coercion, just ask for the coercion between those two rings.)