Theorem finSuccEquivLast_castSuccEmb

Modification history