Skip to content
Post PR summary comment

[Merged by Bors] - feat: a few lemmas on WithTop ℕ∞ #20370

Sign in to view logs

[Merged by Bors] - feat: a few lemmas on WithTop ℕ∞

[Merged by Bors] - feat: a few lemmas on WithTop ℕ∞ #20370

Triggered via pull request September 26, 2024 13:11
@sgouezelsgouezel
opened #17164
SG_enat
Status Success
Total duration 44s
Artifacts –

PR_summary.yml

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