Changes between Version 72 and Version 73 of Ticket #24551


Ignore:
Timestamp:
09/12/18 14:51:30 (3 years ago)
Author:
chapoton
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #24551 – Description

    v72 v73  
    8686||#26091||ProjectiveSpace_rational_field_with_category||or #23807||
    8787||#26091||ProjectiveSpace_ring_with_category||or #23807||
    88 ||#?????||ProductProjectiveSpaces_ring_with_category||||
     88||#26260||ProductProjectiveSpaces_ring_with_category||||