Theorem SignType.map_cast'

Modification history