Skip to content
Snippets Groups Projects

Reword references to characteristic curves in main lemma

Passed
Luke Naylor created pipeline for commit 3fd1de0e
, finished
For main
1 job 29 seconds, queued for 25 seconds