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 #6987

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 #6987

Triggered via pull request October 20, 2025 15:55
@SnirBroshiSnirBroshi
synchronize #28818
SnirBroshi:feature/ker-lift
Status Success
Total duration 24s
Artifacts –

pre-commit.yml

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