Theorem Fin.castSuccEmb_lt_castSuccEmb_iff

Modification history