Theorem Fin.map_revPerm_Iio

Modification history