Changes between Version 6 and Version 7 of Ticket #23185
- Timestamp:
- 06/09/17 07:17:48 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #23185 – Description
v6 v7 10 10 11 11 but it should return `True`. 12 13 The 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.)