Theorem Fin.revPerm_symm

Modification history