Skip to content
Post PR summary comment

[Merged by Bors] - feat: basic results about Finset.sym2 #6287

Sign in to view logs

[Merged by Bors] - feat: basic results about Finset.sym2

[Merged by Bors] - feat: basic results about Finset.sym2 #6287

Triggered via pull request July 12, 2024 12:06
@eric-wiesereric-wieser
synchronize #14212
eric-wieser/sym2-lemmas
Status Success
Total duration 55s
Artifacts –

PR_summary.yml

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