Skip to content
Snippets Groups Projects

Add lemma `tc_finite_sn`.

Passed
Robbert Krebbers created pipeline for commit f6e466d1
, finished
For master
5 jobs 12 minutes 1 second, queued for 3 seconds