Theorem Fin.leftInverse_cast

Modification history