feat(GroupTheory/Congruence): add simp lemmas for comap equivalences #2159
actionlint.yml
on: pull_request
actionlint
18s
check workflows generated by build.in.yml
17s