Skip to content
CI

simp lemma (revCDeriv K f x).1 = f x #410

Sign in to view logs

simp lemma (revCDeriv K f x).1 = f x

simp lemma (revCDeriv K f x).1 = f x #410

Triggered via push November 22, 2023 16:12
@lecopivolecopivo
pushed 6f8fa1a
master
Status Success
Total duration 24m 17s
Artifacts –

main.yml

on: push
build
17m 59s
build
deploy
5m 54s
deploy
Fit to window
Zoom out
Zoom in