Theorem ZFSet.map_isFunc

Modification history