Theorem Fin.revPerm_le_revPerm

Modification history