lint and suggest

chore(Algebra/Algebra/Hom): explain why `AlgHomClass.commutes` is not `@[simp]` #61793

Sign in to view logs

Triggered via pull request October 22, 2024 09:46

Vierkantor

synchronize #18040

simp-AlgHomClass-commutes

Status Success

Total duration 1m 10s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported