Theorem Fin.cases_succ'

Modification history