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