Theorem Fin.revPerm_eq

Modification history