Theorem finSuccEquiv_zero

Modification history