Theorem SignType.map_cast

Modification history