Theorem Fin.revPerm_injective

Modification history