Theorem Rat.ceil_cast

Modification history