Changes between Initial Version and Version 4 of Ticket #19073
- Timestamp:
- Aug 25, 2015, 7:42:40 AM (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #19073
-
Property
Commit
changed from
to
a3b2cc6bf07c385460005aeca3acfc15b08ee82a
-
Property
Branch
changed from
to
u/dkrenn/asy/groups-coercion
-
Property
Commit
changed from
-
Ticket #19073 – Description
initial v4 1 1 Extend coersions and deal with pushout constructions. 2 3 Seealso meta ticket #17601