Theorem Fin.rightInverse_cast

Modification history