Theorem Fin.add_rev_cast

Modification history