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

feat(Data/Setoid/Basic): add theorems about lifting a function to its kernel #6638

Sign in to view logs

feat(Data/Setoid/Basic): add theorems about lifting a function to its kernel

feat(Data/Setoid/Basic): add theorems about lifting a function to its kernel #6638

Triggered via pull request October 19, 2025 06:01
@SnirBroshiSnirBroshi
synchronize #28818
SnirBroshi:feature/ker-lift
Status Success
Total duration 34s
Artifacts –

pre-commit.yml

on: pull_request
main
27s
main
Fit to window
Zoom out
Zoom in