Theorem Fin.revPerm_inj

Modification history