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

Normal (commutative) submonoids and saturated congruence relations #543

Merged
merged 6 commits into from Mar 26, 2023
Merged

Normal (commutative) submonoids and saturated congruence relations #543

merged 6 commits into from Mar 26, 2023

Commits on Mar 24, 2023

  1. congruence relations obtained from normal submonoids

    @EgbertRijke
    EgbertRijke committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    3c70d6c View commit details
    Browse the repository at this point in the history

  2. congruence relations obtained from normal submonoids

    @EgbertRijke
    EgbertRijke committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    6d6ecce View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2023

  1. normal (commutative) submonoids

    @EgbertRijke
    EgbertRijke committed Mar 25, 2023
    Configuration menu
    Copy the full SHA
    f735299 View commit details
    Browse the repository at this point in the history

  2. make pre-commit

    @EgbertRijke
    EgbertRijke committed Mar 25, 2023
    Configuration menu
    Copy the full SHA
    8a47c07 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of github.com:UniMath/agda-unimath into quotients

    @EgbertRijke
    EgbertRijke committed Mar 25, 2023
    Configuration menu
    Copy the full SHA
    926ca3f View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2023

  1. resolving review comments

    @EgbertRijke
    EgbertRijke committed Mar 26, 2023
    Configuration menu
    Copy the full SHA
    b3c67fa View commit details
    Browse the repository at this point in the history