Theorem finSuccEquiv_symm_none

Modification history