Add `IsIdempotentMonoid` and `IsCommutativeBand` to `Algebra.Structures` #3433

Sign in to view logs

Triggered via pull request June 7, 2024 09:46

synchronize #2402

jamesmckinna:issue2138

Status Success

Total duration 35m 51s

Artifacts –

ci-ubuntu.yml

on: pull_request