Skip to content
Snippets Groups Projects

Complete proof for radius condition giving strongest lower bound on d

Failed
Luke Naylor created pipeline for commit e0823042
, finished
For main
1 job 23 seconds, queued for 9 seconds