Changes between Version 307 and Version 308 of Ticket #26212


Ignore:
Timestamp:
05/07/19 08:53:41 (3 years ago)
Author:
vklein
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #26212 – Description

    v307 v308  
    130130* rings #26697 #27048 #27440 #27650 #27767
    131131* rings (power series) #26539
    132 * rings/polynomial #26670 #26760 #26909 #26792 #27674 #27768 #27791(remains 4)
     132* rings/polynomial #26670 #26760 #26909 #26792 #27674 #27768 #27791
    133133* rings/valuation (remains 1)
    134134* sets #26659 #27456 (remains 1)