Skip to content
Label New Contributors

[Merged by Bors] - feat(Data/ENNReal/Real): add lemmas about iInf, iSup #35667

Sign in to view logs

[Merged by Bors] - feat(Data/ENNReal/Real): add lemmas about iInf, iSup

[Merged by Bors] - feat(Data/ENNReal/Real): add lemmas about iInf, iSup #35667

Triggered via pull request October 2, 2024 21:09
@YaelDilliesYaelDillies
synchronize #16770
mariainesdff/ennreal_real
Status Success
Total duration 25s
Artifacts –

label_new_contributor.yml

on: pull_request
label-and-report-new-contributor
16s
label-and-report-new-contributor
Fit to window
Zoom out
Zoom in