Autolabel PRs

chore(CategoryTheory): dsimp the apply lemmas in the monoidal structu… #23

Sign in to view logs

Triggered via push March 26, 2026 15:55

CBirkbeck

master

Status Skipped

Total duration 1s

Artifacts –

add_label_from_diff.yaml

on: push

Add topic label

⚡