lint and suggest

feat:(Algebra/Ring/Parity): Add missing lemma `odd_add_self_one` #69096

Sign in to view logs

Triggered via pull request November 21, 2024 23:41

IvanRenison

opened #19347

IvanRenison/odd_add_self_one

Status Success

Total duration 1m 24s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported