Theorem Fin.rev_injective

Modification history