Skip to content

Rename field of Complements #949

@blegat

Description

@blegat

The field of the Complements set should be renamed as it does not satisfy the convention that it is equal to MOI.dimension.
See #947

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions