Skip to content

Implement SyntacticCongruence for a semigroup and a subset #883

Open
Open
Implement SyntacticCongruence for a semigroup and a subset#883
Labels
feature-requestLabel for feature requests

Description

@james-d-mitchell
james-d-mitchell
opened on Oct 8, 2022

Pretty descriptive title, but l’ll add more detail when I’m next at the computer.

Activity

  1. james-d-mitchell
    added
    feature-requestLabel for feature requests
    on Oct 8, 2022
  2. james-d-mitchell
    changed the title [-]Implement SyntacticCongruence for a semigroup and a subset[/-] [+]Implement `SyntacticCongruence` for a semigroup and a subset[/+] on Nov 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    feature-requestLabel for feature requests

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions