Skip to content
Format

Introduce the general linear group and the multiplication group operation. #115

Sign in to view logs

Introduce the general linear group and the multiplication group operation.

Introduce the general linear group and the multiplication group operation. #115

Triggered via pull request November 3, 2024 14:06
@kellertuerkellertuer
synchronize #12
kellertuer/general-linear-group
Status Success
Total duration 44s
Artifacts –

format.yml

on: pull_request
Format Check
33s
Format Check
Fit to window
Zoom out
Zoom in