Skip to content
compile

define P196; add spectral theorem #2442

Sign in to view logs

define P196; add spectral theorem

define P196; add spectral theorem #2442

Triggered via push October 14, 2024 04:53
@danflapjaxdanflapjax
pushed 1e11a92
hereditarily-connected
Status Failure
Total duration 15s
Artifacts –

compile.yml

on: push
build
8s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build: theorems/T000554.md#L1
path does not match uid=T000528