Theorem Fin.castSuccEmb_lt_succ

Modification history