Skip to content
Run pre-commit and in-place update PR on push

Delete unnecessary inclPreimageVal lemma #13

Sign in to view logs

Delete unnecessary inclPreimageVal lemma

Delete unnecessary inclPreimageVal lemma #13

Triggered via push September 19, 2025 00:23
@robertmaxton42robertmaxton42
pushed b9d402a
CWForward_homeomorph
Status Success
Total duration 26s
Artifacts –

pre-commit.yml

on: push
main
23s
main
Fit to window
Zoom out
Zoom in
⚡