Tweak docs of tc_finite_sn.
Passed
Robbert Krebbers
created pipeline for commit
7ecb64e6
, finished
For master
11 minutes 18 seconds, queued for 2 seconds