Add `is_abelian` for groups (#1907) #1007

Sign in to view logs

Triggered via push November 19, 2024 22:44

fingolfin

master

Status Success

Total duration 43m 57s

Artifacts –

hecke.yml

on: push

Matrix: test-oscar