Skip to content
Check PR titles

style(Algebra/Polynomial/Eval/Defs): make two lemmas follow the 'hypothesis left of colon' rule #40727

Sign in to view logs

style(Algebra/Polynomial/Eval/Defs): make two lemmas follow the 'hypothesis left of colon' rule

style(Algebra/Polynomial/Eval/Defs): make two lemmas follow the 'hypothesis left of colon' rule #40727

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check_title
-8s
-8s