chore: Fix links in `100-theorems` (#1321) · UniMath/agda-unimath@d4d4a7b

Triggered via push February 14, 2025 12:33

master

Status Success

Total duration 12m 11s

Artifacts 1

profiling.yaml

on: push

Matrix: typecheck-performance

Produced during runtime

Name	Size
Library profiling history	416 KB