Skip to content

let the category of sets handle the __len__ method of rings #40702

let the category of sets handle the __len__ method of rings

let the category of sets handle the __len__ method of rings #40702

Triggered via pull request September 25, 2024 05:52
@fchapotonfchapoton
labeled #38699
Status Skipped
Total duration 3s
Artifacts

sync_labels.yml

on: pull_request_target
synchronize
0s
synchronize
Fit to window
Zoom out
Zoom in