Uniqueness of split essential surjectivity of functors (#1242) · UniMath/agda-unimath@78a74b7

Triggered via push January 28, 2025 17:49

master

Status Success

Total duration 11m 27s

Artifacts 1

profiling.yaml

on: push

Matrix: typecheck-performance

Produced during runtime

Name	Size
Library profiling history	298 KB