Skip to content

Update labelling convention for list of interesting p-adic fields #6830

@rvisser7

Description

@rvisser7

The list of interesting p-adic fields still appears to use the old p-adic labelling convention.

This isn't a major issue on the interesting page itself, since the old label links (e.g. 2.2.0.1) correctly redirect to the new label links (e.g. 2.2.1.0a1.1). However, this does mean that currently the bottom knowls for all the interesting p-adic fields are not actually displayed at the bottom of their respective field pages.

e.g. the p-adic field 2.2.1.0a1.1 doesn't have the bottom knowl lf.2.2.0.1.bottom .

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions