Skip to content
Back to pull request #4264

Add isomorphism(::Type{PermGroup}, ::WeylGroup) for some cases #15754

Sign in to view logs

Add isomorphism(::Type{PermGroup}, ::WeylGroup) for some cases

Add isomorphism(::Type{PermGroup}, ::WeylGroup) for some cases #15754

Run time

Learn about OS pricing on GitHub Actions
Job Run time
deploy_docs
12m 35s
12m 35s