Skip to content
Snippets Groups Projects

Simplify expression in proof of theorem 6.1

Passed
Luke Naylor created pipeline for commit 79f9d3fa
, finished
For main
1 job 1 minute 10 seconds, queued for 6 seconds