Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Merged by Bors] - feat: add the coercion from types satisfying StarAlgEquivClass to StarAlgEquiv #10368

Closed
wants to merge 3 commits into from
Closed

[Merged by Bors] - feat: add the coercion from types satisfying StarAlgEquivClass to StarAlgEquiv #10368

wants to merge 3 commits into from

Commits on Feb 9, 2024

  1. feat: add the coercion from types satisfying StarAlgEquivClass to `… 

    …StarAlgEquiv`
    @j-loreaux
    j-loreaux committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    0cd6f37 View commit details
    Browse the repository at this point in the history

Commits on Feb 13, 2024

  1. don't use CoeTC 

    Co-authored-by: Anne Baanen <Vierkantor@users.noreply.github.com>
    @j-loreaux @Vierkantor
    j-loreaux and Vierkantor committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    9a53c25 View commit details
    Browse the repository at this point in the history

  2. lint style

    @j-loreaux
    j-loreaux committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    2d8d2e1 View commit details
    Browse the repository at this point in the history