Skip to content
Build

Added item_at_invariant theorem #100

Sign in to view logs

Added item_at_invariant theorem

Added item_at_invariant theorem #100

Triggered via push October 10, 2023 11:13
@Eagle941Eagle941
pushed 008fbae
new_theorems
Status Success
Total duration 1m 46s
Artifacts –

build.yml

on: push
Build
1m 35s
Build
Fit to window
Zoom out
Zoom in