Theorem Fin.exists_fin_succ'

Modification history