Skip to content

simplify proof of PathIn.edge_leaf_inductionOn #869

simplify proof of PathIn.edge_leaf_inductionOn

simplify proof of PathIn.edge_leaf_inductionOn #869

Triggered via push January 30, 2025 09:52
Status Success
Total duration 3m 19s
Artifacts 1

build.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
9.55 MB