Theorem Fin.revPerm_revPerm

Modification history