Theorem Fin.revPerm_involutive

Modification history