Refactor proofs around split_mt_*
Passed
Yusuke Matsushita
created pipeline for commit
aa76daa6
, finished
12 minutes 32 seconds, queued for 4 seconds