Inverses in groups are unique (#1271) · UniMath/agda-unimath@982c5b1

Triggered via push February 5, 2025 20:22

master

Status Success

Total duration 13m 0s

Artifacts 1

profiling.yaml

on: push

Matrix: typecheck-performance

Produced during runtime

Name	Size
Library profiling history	350 KB