Theorem Fin.cast_injective

Modification history