Theorem finSuccEquivLast_symm_none

Modification history