Theorem Fin.castSucc_lt_iff_succ_le

Modification history