minor: more formulae at the beginning
Passed
Konrad Völkel
created pipeline for commit
965463be
, finished
For main
3 minutes 43 seconds, queued for 3 seconds