Skip to content

Merge pull request #2118 from Alizter/ps/rr/subgroup_and_ideal_preimage #2987

Merge pull request #2118 from Alizter/ps/rr/subgroup_and_ideal_preimage

Merge pull request #2118 from Alizter/ps/rr/subgroup_and_ideal_preimage #2987

Annotations

2 errors

quick-build (latest, ubuntu-latest)

cancelled Oct 26, 2024 in 1m 42s