[Merged by Bors] - feat(NumberTheory/FactorisationProperties): abundant, pseudoperfect, deficient, and weird numbers · leanprover-community/mathlib4@874e709

Triggered via issue September 28, 2024 23:59

kim-em

commented on #14269 874e709

Status Success

Total duration 13s

Artifacts –

add_label_from_comment.yml

on: issue_comment

1 warning

Unexpected input(s) 'repository', 'issue_number', 'labels', valid inputs are ['route', 'mediaType']