Theorem Fin.cast_rev

Modification history