Skip to content
Snippets Groups Projects

Adjust stronger theorem to more general expressions

Passed
Luke Naylor created pipeline for commit e4c7684c
, finished
For main
1 job 32 seconds, queued for 638 seconds