Changes between Version 44 and Version 46 of Ticket #21869


Ignore:
Timestamp:
Jul 20, 2017, 5:23:28 PM (5 years ago)
Author:
Julian Rüth
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #21869

    • Property Status changed from needs_review to needs_work
    • Property Reviewers changed from to GaYee Park

  • Ticket #21869 – Description

    v44 v46  
    99{{{
    1010[ ] function_field/function_field_valuation.py
    11 [ ] padics/discrete_value_group.py
    1211[ ] padics/padic_valuation.py
    1312[-] valuation/README.md