Skip to content

[ refactor ] deprecate Algebra.Structures.IsGroup.{uniqueˡ-⁻¹|uniqueʳ-⁻¹} #1036

[ refactor ] deprecate Algebra.Structures.IsGroup.{uniqueˡ-⁻¹|uniqueʳ-⁻¹}

[ refactor ] deprecate Algebra.Structures.IsGroup.{uniqueˡ-⁻¹|uniqueʳ-⁻¹} #1036

Triggered via pull request February 3, 2025 13:07
Status Success
Total duration 16s
Artifacts

whitespace.yml

on: pull_request
check-whitespace
5s
check-whitespace
Fit to window
Zoom out
Zoom in