Theorem Fin.revPerm_bijective

Modification history