Changes between Version 72 and Version 73 of Ticket #24551
- Timestamp:
- 09/12/18 14:51:30 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #24551 – Description
v72 v73 86 86 ||#26091||ProjectiveSpace_rational_field_with_category||or #23807|| 87 87 ||#26091||ProjectiveSpace_ring_with_category||or #23807|| 88 ||# ?????||ProductProjectiveSpaces_ring_with_category||||88 ||#26260||ProductProjectiveSpaces_ring_with_category||||