Theorem Fin.range_castSucc

Modification history