Skip to content
Post PR summary comment

feat(MvPolynomial): more lemmas about finSuccEquiv #31949

Sign in to view logs

feat(MvPolynomial): more lemmas about finSuccEquiv

feat(MvPolynomial): more lemmas about finSuccEquiv #31949

Triggered via pull request November 18, 2024 12:21
@YaelDilliesYaelDillies
opened #19201
mv_poly_fin_succ_f
Status Success
Total duration 53s
Artifacts –

PR_summary.yml

on: pull_request
build
46s
build
Fit to window
Zoom out
Zoom in