Skip to content
Check workflows

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
actionlint
16s
check workflows generated by build.in.yml
15s
31s