Theorem finSuccEquivLast_last

Modification history