Theorem finSuccEquiv_succ

Modification history