Add lemma `tc_finite_sn`.
Passed
Robbert Krebbers
created pipeline for commit
f6e466d1
, finished
For master
12 minutes 1 second, queued for 3 seconds