Theorem Fin.univ_succ

Modification history