Skip to content

feat(GroupTheory/Congruence): add simp lemmas for comap equivalences #2156

feat(GroupTheory/Congruence): add simp lemmas for comap equivalences

feat(GroupTheory/Congruence): add simp lemmas for comap equivalences #2156

Triggered via pull request October 23, 2024 01:58
Status Success
Total duration 30s
Artifacts

actionlint.yml

on: pull_request
actionlint
21s
actionlint
check workflows generated by build.in.yml
18s
check workflows generated by build.in.yml
Fit to window
Zoom out
Zoom in