Theorem finSuccEquiv'_zero

Modification history